P
Initializing...
§3.2, last display of p. 22 — the one-step inequality summed over k = 1, …, N · Prove2Me