P
Initializing...
Energy bound from $L^\infty(\eta_+)$ on $n\le 2x$ plus Gaussian tail · Prove2Me