P
Initializing...
$k$ Collatz steps divide out a factor $2^{k}$ · Prove2Me