P

Initializing...

Lemma 2, p. 12 — under Assumption 1(a)–(b), J* is well defined and finite, J* ∈ L₂(S, D), and J* = Σ_t (αP)^t ḡ · Prove2Me