P
Initializing...
Lemma 6(a)–(b), p. 15 — E₀[φ(i_t)φ′(i_{t+m})] = ΦDP^mΦ′, bounded uniformly in m · Prove2Me