Monoton fallend würde ja durch die Gültigkeit
der Ungleichung für alle n ausgedrückt:
an ≥ an+1
<=> √(n+5) - √(n+3) ≥ √(n+6) - √(n+4)
Dann der Tipp: Beide Seiten mit dem
positiven Term √(n+5) + √(n+3) malnehmen
<=> ( √(n+5) - √(n+3) ) * (√(n+5) + √(n+3) )≥ (√(n+6) - √(n+4))*(√(n+5) + √(n+3))
Links 3. binomi. Formel
<=> n+5 - (n+3) ≥ (√(n+6) - √(n+4))*(√(n+5) + √(n+3))
<=> 2 ≥ (√(n+6) - √(n+4))*(√(n+5) +√(n+3))
Dann den gleichen Trick nochmal | *( √(n+6) + √(n+4) )
<=> 2 *( √(n+6) + √(n+4) ) ≥ 2*(√(n+5) +√(n+3))
und weil √(n+6) ≥ √(n+5) und (n+4) ≥ √(n+3)
dürfte das wohl passen.