(bn)n∈N ist eine Nullfolge, wenn gilt:
\( \forall \epsilon \gt0 \exists N \in \mathbb{N} \text{ mit } n \gt N ==> |b_n-0| \lt \epsilon \) #
Wegen " (an)n∈N eine reelle Nullfolge" gilt
\( \forall \epsilon \gt0 \exists N \in \mathbb{N} \text{ mit } n \gt N ==> |a_n-0| \lt \epsilon \) ##
Um # zu beweisen sei also ε>0.
Wegen ## \( \exists N \in \mathbb{N} \text{ mit } n \gt N ==> |a_n-0| \lt \epsilon \) ###
==> | an | < ε
wegen |bn| ≤ an gilt -an < |bn| < an , also |bn| < |an|.
Also gilt für das N aus ### auch |bn| < ε. q.e.d.