P
Initializing...
§V-B, unnumbered monotonicity of optimized exponents · Prove2Me