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