P
Initializing...
Uniform bound |logμ(x)|≤ c (-logμ(p)) for algebraic x · Prove2Me