lim_(x → 0) ln(cos(x))/x^2