We know the MacLaurin series for sin x, and hence

On the other hand, the zeros of this function are the nonzero integer multiples of pi, and writing the series in a factored form, we obtain

Expanding the last (infinite) product of binomials and equating its quadratic coefficient with that of the original MacLaurin series, we obtain

Euler's result follows directly.