Rounding a half-integer Gaussian point moves it by at most $1/\sqrt2$ (Lemma 2.1) · Prove2Me

P

Initializing...

Rounding a half-integer Gaussian point moves it by at most $1/\sqrt2$ (Lemma 2.1) · Prove2Me