P
Initializing...
α = αP n iff (α-1)^4 < 12 d² b ≤ α^4 · Prove2Me