lim x → 0 1 − cos x x = ?