P
Initializing...
Collatz descent principle: every $n > 1$ eventually drops below $n$ · Prove2Me