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