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