Proof of Stirling's Formula, Part 3.

[@juliefinkjulesheartmagic1111]

Another great informative, clear video! Thank you 😊

[@Elstupidofood]

Nice

[@MathFromAlphaToOmega]

Nice proof! I think you can also use the Wallis product for pi to get the derivative of the zeta function at 0 (something like 1/2*log(2pi)).

[@coconutmath4928]

Thanks! Yes, to do this you need to differentiate the eta function (which is like an alternating zeta function) and then use the Wallis product to evaluate the resulting sum.
en.wikipedia.org/wiki/Wallis_product#Derivative_of_the_Riemann_zeta_function_at_zero