A non-terminating Erdős 261 greedy orbit has infinitely many doubling and infinitely many subtracting steps

Initializing...

A non-terminating Erdős 261 greedy orbit has infinitely many doubling and infinitely many subtracting steps · Prove2Me