Solution (source code)

= Solution

Conditional Jensen and monotonicity give $E[U(X_n)\mid\mathcal F_{n-1}]\le U(E[X_n\mid\mathcal F_{n-1}])\le U(X_{n-1})$.