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.