方程cos x=lg x的实根的个数是?