Wallis Product (Gamma Function Property 8)

I derive Wallis product by using asymptotic expansion of gamma function. Asymptotic Expansion, Ratio (0:39):    • Gamma Function Property 7: Asymptotic Expa...   Integer Case (4:25):    • Gamma Function Property 2: Integer Case Ga...   Half Integer Case (4:26):    • Gamma Function Property 3: Half Integer Case   --------------------------------------------------------- Gamma Function Property 7: Asymptotic Expansion, Ratio:    • Gamma Function Property 7: Asymptotic Expa...   Gamma Function Property 6: Asymptotic Expansion General Formula:    • Gamma Function Property 6: Asymptotic Expa...   Gamma Function Property 5: Stirling's Formula:    • Gamma Function Property 5: Asymptotic Expa...   Gamma Function Property 4: Real Number Case:    • Gamma Function Property 4: Real Number Case   Gamma Function Property 3: Half Integer Case:    • Gamma Function Property 3: Half Integer Case   Gamma Function Property 2: Integer Case Gamma(n+1)=n!    • Gamma Function Property 2: Integer Case Ga...   Gamma Function Property 1: Gamma(z+1)=z Gamma(z)    • Gamma Function Property 1: Gamma(z+1)=z Ga...