Vielleicht geht es so indem du (1+an)^n betrachtest.
Das ist ja zum Einen \( (1+ \sqrt[n]{n} - 1 )^n = (\sqrt[n]{n}) ^n = n \) #
Und nach dem binomischen Satz
\( (1+a_n)^n = 1 + n \cdot a_n + \begin{pmatrix} n\\2 \end{pmatrix} \cdot a_n^2 + \begin{pmatrix} n\\3 \end{pmatrix} \cdot a_n^3 + ... + a_n^n \)
Wenn du die letzten (positiven ) Summanden weglässt also
\( (1+a_n)^n \ge 1 + n \cdot a_n + \begin{pmatrix} n\\2 \end{pmatrix} \cdot a_n^2 \)
Und wegen # also
\( n \ge 1 + n \cdot a_n + \begin{pmatrix} n\\2 \end{pmatrix} \cdot a_n^2 \)
<=> \( n - n \cdot a_n \ge 1 + \begin{pmatrix} n\\2 \end{pmatrix} \cdot a_n^2 \)
<=> \( n \cdot (1-a_n) \ge 1 + \begin{pmatrix} n\\2 \end{pmatrix} \cdot a_n^2 \)
<=> \( n \cdot (2- \sqrt[n]{n}) \ge 1 + \begin{pmatrix} n\\2 \end{pmatrix} \cdot a_n^2 \)
Und weil \( 1\lt \sqrt[n]{n} \lt 2\) gilt, hat man \( 0\lt 2-\sqrt[n]{n} \lt 1\)
also \( n \ge 1 + \begin{pmatrix} n\\2 \end{pmatrix} \cdot a_n^2 \)