# Ejercicio 05.4

kill(all)$

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

a[n]:=log(b[n]);

aa[n]:=log((n+1)/n) - log((n+2)/(n+1));

logcontract(%);

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

x[n+1];

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

sum(a[n], n, 1, inf) = x[1] - 0;