P
Initializing...
Lemma 2.2 — $\|P(x + \alpha d) - x\|/\alpha$ is nonincreasing · Prove2Me