Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Metadata 
bibkey: harper1967stirling
authors: L. H. Harper
year: 1967
title: Stirling Behavior is Asymptotically Normal
doi: 10.1214/aoms/1177698956
url: https://doi.org/10.1214/aoms/1177698956
claim: The paper is the classical normality reference cited alongside Bender by Zhang and Zhao.
strata_touched:
  - D5/S3/Combinatorics/Matroids/SpeyerUniformNormality
license: citation-only
triage: anchor

Stirling Behavior is Asymptotically Normal

Verified locator

DOI: 10.1214/aoms/1177698956

Source: https://doi.org/10.1214/aoms/1177698956

Cited connection

Zhang and Zhao cite Harper alongside Bender immediately before Theorem 4.2, page 9. The formal criterion uses the independent Bernoulli product represented by a polynomial with nonpositive real roots. No additional assertion about Harper’s original theorem is required by the Lean proof.