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 \)