lim log(cos(x))/log(cos(3*x)) x->0