P
Initializing...
Eight Collatz steps decrease every $n \equiv 23 \pmod{32}$ · Prove2Me