High mean two-adic valuation at least 8917/5626 forces a positive Syracuse cycle to be one

Initializing...

High mean two-adic valuation at least 8917/5626 forces a positive Syracuse cycle to be one · Prove2Me