P
Initializing...
Sharpness of the archimedean degree bound: solvable $\iff \pi/\psi \le n$ · Prove2Me