P
Initializing...
Six Collatz steps decrease every $n \equiv 3 \pmod{16}$ · Prove2Me