P
Initializing...
Positive Syracuse cycles with mean valuation at least 485/306 are trivial · Prove2Me