Statement file: Nstar (Ingredients).
This file contains exactly one declaration of the formalization's public statement surface.
e.N (1018), corrected form: the source's
N_* := ⌈1/δ² + 500/δ⌉ is enlarged so that every lower bound on N_* claimed in
the paper holds by definition: 8 + 4(q-1)(β+γ)/δ (line 7850, the requirement actually
used), 8 + 128q²/(q-1) (line 7850) and 8 + 128q²(q-1) (line 7883), with
γ = (q-1)β/(q+1) (e.gamma) written out.
Equations
- One or more equations did not get rendered due to their size.