se considera functia F:(0, infinit)->R, f (x)=ln x-x-1.
Aratati ca ln x <= x-1, pt x e (0, infinit)
