vielleicht so in dieser Art:
Nach Archimedes gibt es ein no mit no > 2k mit c = ano gilt
dann für n<no an = c * k n-no / Produkt von i=n0+1 bis n über k/i
< c * Produkt von i=n0+1 bis n über 1/2 weil ja i > 2k
und das Produkt liefert eine geom. Folge mit q=1/2
geht also gegen 0.