Outside the Borwein–Loring numbers, the Erdős 261 greedy carry cannot stop within its first two phases

Initializing...

Outside the Borwein–Loring numbers, the Erdős 261 greedy carry cannot stop within its first two phases · Prove2Me