# Sequences of functions

Suppose that $X$ is a compact metric space. Let:

(a) $(f_n)$ be a sequence of real-valued continuous functions on $X$

(b) $(f_n)$ converges pointwise to a continuous function $f$ on $X$

(c) $f_n(x) \geq f_{n + 1}(x)$ for all $x \in X$ and all $n \geq 1$.

Show that $f_n \to f$.

How should I go about proving this?

-
What have you tried so far? Where are you stuck? –  Andrew Uzzell Feb 8 '13 at 11:26
What do you mean by $f_n \to f$? Surely not pointwise convergence as this is a hypothesis. So maybe uniform convergence? –  brom Feb 8 '13 at 11:43