P
Initializing...
Constant potential reduction yields an explicit iteration bound · Prove2Me