5.11 Let Xn be the number of individuals in the nth generation of a branching process in which each individual produces offspring from a distribution with mean μ and variance σ^2. We have seen previously that Mn = μ^-nXn is a martingale. (a) Let Fn denote the information contained in X0, ..., Xn. Show that E(X_{n+1}^2 | Fn) = μ^2Xn^2 + σ^2Xn.
(b) Suppose μ > 1. Show that there exists a C < ∞ such that for all n E(Mn^2) < C.
(c) Show that this is not the case if μ ≤ 1.