Ich würde es so aufschreiben:
Für alle x>0 gilt 0 ≤ cos^2(x) / ln(x) ≤ 1 / ln(x)
wegen lim für x gegen unendlich von 1/ln(x) = 0
gilt auch lim für x gegen unendlich von cos^2(x) / ln(x) .
Das genügt.
Und für deine persönliche Einsicht musst du für x schon eine
sehr sehr große Zahl einsetzen, etwa x=e^1000
denn erst bei dieser großen Zahl, die ein billiger
Taschenrechner gar nicht mehr darstellt ist ja der
Logarithmus = 1000, also immer noch nicht so wahnsinnig groß.