P
Initializing...
Erdős 261 greedy carry: a subtracting step sends the deficit $D$ to $2D+2$ · Prove2Me