P
Initializing...
Lemma 1(ii), p. 12 — for nonnegative ω, the APT value V^n_APT(ζ^n) is nondecreasing in ζ^n · Prove2Me