P
Initializing...
A fourth-power and squared-sum bound on a sphere · Prove2Me