P
Initializing...
Exact success probability after $r$ iterations: $\sin^2((r+\frac12)\theta)$ · Prove2Me