P
Initializing...
Quantitative bounds imply exponent $1/2$ · Prove2Me