P
Initializing...
The greedy carry of Erdős 261 is the map $(N,R)\mapsto(N+1,\,2R \bmod (N+1))$ · Prove2Me