4. Termes d’una successió (2 Punts)

Es defineix la següent successió real:

\(a_{n} = \frac{1+ \frac{1}{2} + \ldots+ \frac{1}{n}}{log(n)^n}\)

per a \(n \geq 2\).

Aquesta successió és una successió que convergeix cap a zero. Dissenya una funció anomenada convergeix que té com a paràmetre un real estrictament positiu, el qual representa una tolerància. La funció retorna el valor més petit d'n tal que el terme n-èssim és igual a zero amb la tolerància donada.

Desa la funció al fitxer successio.py i puja’l a Atenea. Els següents doctests mostren exemples del que ha de fer la funció:

>> convergeix(0.1)
6
>>> convergeix(0.01)
8
>>> convergeix(0.001)
10

Nota

Recomanem fer una funció que calculi els termes de la successió.

Disposes dels jocs de proves al fitxer test-successio.txt