P
Initializing...
The irrationality measure of π is at most 14.797074 · Prove2Me