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