P

Initializing...

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