lim(x->0) (cos x)/x