已知函数f(x)=1-a/x-lnx (a为常数) 求证:ln((n+1)/3)