P
Initializing...
The only positive fixed point of the Syracuse map is $1$ · Prove2Me