Lemma 24.2: G(Q, θ) ≤ L(θ) for all Q ∈ 𝒬 with equality at the posterior Q_{i,y} = P_θ[Y = y | X = xᵢ], and the maximizers of G(Q, ·) and F(Q, ·) coincide

Initializing...

Lemma 24.2: G(Q, θ) ≤ L(θ) for all Q ∈ 𝒬 with equality at the posterior Q_{i,y} = P_θ[Y = y | X = xᵢ], and the maximizers of G(Q, ·) and F(Q, ·) coincide · Prove2Me