已知函数f x=lna lnx x在[1,正无穷]为减函数