lim x->Pi/2 log(cos x)