lim (x → 0) log(1 - cosx) / log(x) =