P
Initializing...
One-entry tail bound, both sides (corrected: $N_s+\sqrt{N_r}\le N_r+2$) · Prove2Me