Given this formulation, EM can be shown to maximize F via block coordinate ascent alternating over q (E-step) and θ (M-step) (Neal and Hinton, 1998).
the E-step for EM can be written as where Q is the space of all distributions.