Eine Division ist vielleicht nicht "notwendig", wird aber in jedem Falle so gehandhabt, da leichter erkannt wird, was im Unendlichen passiert. Für jene x im Nenner sind wir dann ja nicht mehr interessiert, da sehr klein. Bietet also eine super Übersicht!
Und dann habe ich nur noch abgelesen, was über bleibt. Wo x nicht im Nenner steht ;). Das ist hier x selbst, also y = x.