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

[Marcos Martinelli]

   Seja f(x)=ln(x)/x-1/e para todo x real tal que x>=e. f(e)=0 e f´(x)=(1-ln(x))/x^2<=0 para todo x tal que x>=e. Como pi>e => ln(pi)/pi-1/e<f(e)=0 => ln(pi)/pi<1/e => e*ln(pi)<pi =>

ln(pi^e)<ln(e^pi) => pi^e<e^pi.