P
Initializing...
Upper bound for the irrationality measure of π · Prove2Me