P
Initializing...
§3.2, first display of p. 23 — the summed inequality at x = x* · Prove2Me