limα→∞⁡α-12⁢n⁢Pn(α,α)⁡(α-12⁢x)=Hn⁡(x)2n⁢n!.