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