> We state the following well-known concentration bound, Chernoff bound, for completeness.
Which variant of the Chernoff bound is this? This is almost the (looser variant of the) multiplicative form, but it's not quite right (per the use of 1+delta instead of a single parameter beta). In particular, that bound is only guaranteed to hold for delta >= 0 (not beta = 1 + delta > 0 as asserted in the paper)
[0] https://arxiv.org/pdf/2301.10191
[1] https://en.wikipedia.org/wiki/Chernoff_bound#Multiplicative_...
edit: to be clear: I'm not sure at all whether this breaks the proof of correctness, although I'm having a bit of difficulty following the actual details (I think I'd need to work through the intermediate steps on paper).