Wallis's Product/Proof 1

Proof
Into Euler Formula for Sine Function:

we substitute $x = \dfrac \pi 2$.

From Sine of Half-Integer Multiple of Pi:
 * $\sin \dfrac \pi 2 = 1$

Hence: