equal
deleted
inserted
replaced
333 |
333 |
334 text \<open> |
334 text \<open> |
335 We now show that the log-Gamma series converges locally uniformly for all complex numbers except |
335 We now show that the log-Gamma series converges locally uniformly for all complex numbers except |
336 the non-positive integers. We do this by proving that the series is locally Cauchy, adapting this |
336 the non-positive integers. We do this by proving that the series is locally Cauchy, adapting this |
337 proof: |
337 proof: |
338 http://math.stackexchange.com/questions/887158/convergence-of-gammaz-lim-n-to-infty-fracnzn-prod-m-0nzm |
338 https://math.stackexchange.com/questions/887158/convergence-of-gammaz-lim-n-to-infty-fracnzn-prod-m-0nzm |
339 \<close> |
339 \<close> |
340 |
340 |
341 context |
341 context |
342 begin |
342 begin |
343 |
343 |