P
Initializing...
Theorem 3.1, proof — the worst-case residual is strictly convex in x · Prove2Me