# Monoton wachsende Folge

## Problembeschreibung

******************************************
Dokumentnummer: D1146
Quelle: Johann Weilharter,
             Analysis
******************************************

Es soll geprüft werden, ob eine Folge monoton wachsend ist.

## Problemlösung

HIER HILFT EIN UNTERPROGRAMM

load(ineq)$

DIE FOLGE WIRD ALS FUNKTION DEFINIERT

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

f(x):=(2*x-1)/x;

wxplot2d([f(x)], [x,0,10], [y,0,10])$

Möglicherweise ist die Funktion monoton wachsend

Wir ueberpruefen die Monotonie

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

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

u:expand(u);

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

u,pred;

Es ist also eine monoton wachsende Folge.