logm n*logn m=1怎么证?