解析の問題なんですが…

lim[x→∞]f(x)が存在⇔n.s.c ∀{x[n]} : x[n]→∞(n→∞)
に対して{f(x)}(n→∞)が収束することを証明せよ。

どなたか証明方法を教えていただけないでしょうか。
宜しくお願いしますｍ(_ _;)ｍ