P
Initializing...
A linear lower bound $\tfrac{939}{2000}p<K_p$ for the cyclic candidate constant · Prove2Me