Bei unserem Prof. in der Uni durften wir immer mit dem anfangen, was zu beweisen ist.
Das hat er sicher nicht so allgemein gemeint, sondern sicher,
nur, dass es zulässig sei, wenn man Äquivalenzumformungen
macht. Was hindert dich daran \(\iff\) zu verwenden?
Verwendet man dies nicht, dann werden die Zeilen als
Folgerungen der jeweiligen Vorgängerzeile interpretiert;
es sei denn, man sagt so etwas wie: "folgende Zeilen seien
Äquivalenzumformungen".
Und übrigens: "an+1 > an" ist eine extrem schlampige
Darstellung (da in dieser Gestalt vollkommen trivial).
Warum bemüht sich eigentlich unsereins um eine
vernünftige eindeutige Formeldarstellung ?
Sollen denn die Studenten / Studentinnen hier lernen, dass
sie das in ihren Hausaufgaben ebenso schlecht machen sollen?