P
Initializing...
Lemma 1 — under D, J* is the limit of the N-stage optimal values J_N · Prove2Me