Proof: lim (sin x)/x