proof, lim x->0 sin(x)/x = 1