Estimate (8.18) with sharpened constant: $L^\infty$ bound off the strongly major arc ($0.05$)

Initializing...

Estimate (8.18) with sharpened constant: $L^\infty$ bound off the strongly major arc ($0.05$) · Prove2Me