However, we can introduce a variational distribution p(z|x) to model π (z|x).
plugging this into (6) we observe that Moreover, H(q, p) is an upper bound on H(Z|X) for any p with equality iff p matches the true posterior distribution π.