Let \(X_1,X_2,\ldots \) be i.i.d. with mean \(\mu \). Define \(S_n:=X_1+\cdots +X_n\) for all \(n\geq 1\). For fixed \(n\geq 2\), define \[ M_1:=\frac {S_n}{n},\qquad M_2:=\frac {S_{n-1}}{n-1},\qquad \ldots \qquad M_n:=\frac {X_1}{1}. \] (a) Show that \(\mathbb {E}[X_k\mid S_n]=S_n/n\) for \(1\leq k\leq n\).
(b) Show that \(M_1,M_2,\ldots ,M_n\) is a martingale.