# Monoton wachsende Folge

load(ineq);

Eine gegebene Folge kann als Funktion angeschrieben werden

a(n):=(2*n-1)/n;

Ist die Funktion monoton wachsend?

u:a(n)<=a(n+1);

Umformen

u:u*n*(n+1);

u:expand(u);

u:u-(2*n**2+n);

Es handelt sich um eine wahre Aussage

u,pred;

Diese Folge ist monoton steigend