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