P
Initializing...
Mahler's bound: the irrationality measure of π is at most 42 · Prove2Me