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