Beh, ma in Leibnitz la monotonia basta &quot;definitivamente&quot;, ed è evidente che il numeratore di quella frazione è negativo quando y è grande. La stessa cosa si vedeva anche direttamente con la funzione f(x), e forse anche impostando direttamente la monotonia sulla successione.