Re: [obm-l] Mais uma questão legal

[Marcos Martinelli <mffmartinelli@xxxxxxxxx>]

   Interessante essa demonstração. Tinha pensado em algo mais complexo usando o fato de que n*ln(n)-n+1<=ln(n!)<=ln(n)+n*ln(n)-n+1, usar essa relação pra n e pra n+1 pra tentar forçar ln(n!)/n<=ln[(n+1)!]/(n+1) e aí é so mostrar que a função f(x)=ln(x)/x+ln(x)+1/x é crescente, o que é imediato, basta analisar f´(x).