# Ejercicio 04.6

kill(all)$

a[n]:=1+sum(1/(2*k), k, 1, n);
makelist(a[n], n, 1, 5);

b[n]:=log(n);
makelist(b[n], n, 2, 5);

## Apartado a)

limit(a[n]/b[n], n, inf);

Esto sugiere aplicar algún criterio de convergencia.
En particular parece aplicable el criterio de Stolz.

'(a[n+1]-a[n])=1/(2*n+1);

x[n]:=1/(2*n+1);

y[n]:=b[n+1]-b[n];

limit(x[n]/y[n], n, inf);

## Apartado b)

Dado el resultat anterior y sabiendo que (b[n]) es un infinito, 
se puede afirmar que (a[n]) es un infinito del mismo orden.