P
Initializing...
Eq.(27): finite square-root bound · Prove2Me