Iteration count: $r(N) = \lfloor \pi/(4\arcsin(1/\sqrt N))\rfloor \le \lceil \frac{\pi}{4}\sqrt N\rceil$

Initializing...

Iteration count: $r(N) = \lfloor \pi/(4\arcsin(1/\sqrt N))\rfloor \le \lceil \frac{\pi}{4}\sqrt N\rceil$ · Prove2Me