P
Initializing...
Theorem 13.14, upper bound: $\gamma \le 2\Phi_\star$ · Prove2Me