\lim_{x\rightarrow 0}\frac{\ln(\cos x)}{\cos x-1}=1