已知f(x)=lg[(√x2+1)-x],判断单调性,并给以证明.