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