sinx=1/2i lim_{n → ∞}{ (1+xi/n)^n-(1-xi/n)^n }
=x 積の記号_{n=0}^{∞} (1-(x/pi n)^2)
の証明を教えてください。