Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-generatedprecheck passaudited 2026-08-30
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Euler's limit formula for Gamma

Statement

For every zC{0,1,2,},

Γ(z)=limnn!nzz(z+1)(z+n),

locally uniformly on compact subsets of that pole-free set.

Facts & Assumptions

Given: A complex number z off the nonpositive integers.

[L1]

Gamma has a meromorphic continuation to C with poles only at 0,1,2, (Meromorphic continuation of Gamma).

[L2]

The Beta-Gamma identity gives B(z,n+1)=Γ(z)n!/Γ(z+n+1) whenever Rez>0 (The Beta-Gamma identity).

Proof

technique · direct
1.1

First assume Rez>0. By [L2] and the functional equation inside [L1], n!nzz(z+1)(z+n)=nz01tz1(1t)ndt=0nuz1(1un)ndu.

L1L2givenalgebra
2.1

For each fixed u0, (1u/n)neu, and on compact right-half-plane strips the integrands from step 1.1 are dominated by an integrable majorant. Therefore the integrals in step 1.1 converge locally uniformly to 0uz1eudu=Γ(z). Hence the displayed limit formula holds on Rez>0.

step 1.1algebra
3.1

For n1, write Fn(z):=n!nzz(z+1)(z+n). Let KC{0,1,2,} be compact. Choose m0 so that K+m+1:={z+m+1:zK} lies in the right half-plane. Repeatedly using Fn(z)=z+n+1nzFn(z+1) gives Fn(z)=(j=0mz+n+j+1n(z+j))Fn(z+m+1). On K, the prefactor converges uniformly to 1/(z(z+1)(z+m)), while step 2.1 applied on K+m+1 gives Fn(z+m+1)Γ(z+m+1) uniformly there. By [L1], Γ(z)=Γ(z+m+1)z(z+1)(z+m) on K, so FnΓ uniformly on K. Since K was arbitrary, the limit formula holds locally uniformly on the whole pole-free set.

step 2.1L1algebra

Remarks

The harmonic-number asymptotic from The Euler–Mascheroni constant and the harmonic asymptotic reappears in the next theorem when the limit formula is reorganized into the reciprocal-Gamma product.

Depends on

Used by

Dependency tree · two levels

12 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources