P
Initializing...
Lemma B.3, p. 29 — the incremental value U_2(x, y, d) of problem (A.3) is decreasing in d (integrated form) · Prove2Me