P
Initializing...
Explicit lower bound after exact Padé gcd cancellation · Prove2Me