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