P
Initializing...
Three Collatz steps decrease every $n \equiv 1 \pmod 4$ with $n > 1$ · Prove2Me