Von der zu behauptenden Aussage auszugehen ist kein sauberer Beweis.
Man kann das in dem Fall noch retten, indem man jedes mal (nicht nur sagt, sondern) nachweist, dass es sich um äquivalente Umformungen handelt.
Auch bei dieser Aufgabe würde ich empfehlen, den Term
\(a_{n+1}-a_n\) aufzustellen und hier nachzuweisen, dass er für alle n negativ ist.