P
Initializing...
Limit of a quadratic iteration with a rational error bound · Prove2Me