# Asymptotic approximation of central binomial coefficients with rigorous error bounds

@article{Brent2021AsymptoticAO, title={Asymptotic approximation of central binomial coefficients with rigorous error bounds}, author={Richard P. Brent}, journal={Open Journal of Mathematical Sciences}, year={2021} }

We show that a well-known asymptotic series for the logarithm of the central binomial coefficient is strictly enveloping in the sense of Pólya and Szegö, so the error incurred in truncating the series is of the same sign as the next term, and is bounded in magnitude by that term. We consider closely related asymptotic series for Binet's function, for \(\ln\Gamma(z+\frac12)\), and for the Riemann-Siegel theta function, and make some historical remarks.

## Topics from this paper

## 3 Citations

ON THE ACCURACY OF ASYMPTOTIC APPROXIMATIONS TO THE LOG-GAMMA AND RIEMANN–SIEGEL THETA FUNCTIONS

- MathematicsJournal of the Australian Mathematical Society
- 2018

We give bounds on the error in the asymptotic approximation of the log-Gamma function $\ln \unicode[STIX]{x1D6E4}(z)$ for complex $z$ in the right half-plane. These improve on earlier bounds by…

Fast and rigorous arbitrary-precision computation of Gauss-Legendre quadrature nodes and weights

- Mathematics, Computer ScienceSIAM J. Sci. Comput.
- 2018

A strategy for rigorous arbitrary-precision evaluation of Legendre polynomials on the unit interval and its application in the generation of Gauss-Legendre quadrature rules with simultaneous high degree and precision is described.

Probabilistic lower bounds on maximal determinants of binary matrices

- Mathematics, Computer ScienceAustralas. J Comb.
- 2016

New lower bounds are proved on D(n) and R (n) in terms of d = n-h, where d is the order of a Hadamard matrix and h is maximal subject to $h \le n$.

## References

SHOWING 1-10 OF 34 REFERENCES

Asymptotic Expansions of Central Binomial Coefficients and Catalan Numbers

- Mathematics, Computer ScienceJ. Integer Seq.
- 2014

The main point is explanation of the nature of the best shift in variable n, in order to obtain “nice” asymptotic expansions of two well-known sequences, the central binomial coefficients and the Catalan numbers.

ON THE ACCURACY OF ASYMPTOTIC APPROXIMATIONS TO THE LOG-GAMMA AND RIEMANN–SIEGEL THETA FUNCTIONS

- MathematicsJournal of the Australian Mathematical Society
- 2018

We give bounds on the error in the asymptotic approximation of the log-Gamma function $\ln \unicode[STIX]{x1D6E4}(z)$ for complex $z$ in the right half-plane. These improve on earlier bounds by…

Generalization of Binet's Gamma function formulas

- Mathematics
- 2013

Several representations for the logarithm of the Gamma function exist in the literature. There are four important expansions which bear the name of Binet. Hermite generalized Binet's first formula to…

A bound for the error term in the Brent-McMillan algorithm

- Mathematics, Computer ScienceMath. Comput.
- 2015

A rigorous error bound is provided for the Brent-McMillan algorithm B3 (1980) and bounds on the error in the asymptotic expansions of functions related to modified Bessel functions are given.

The early history of the factorial function

- Mathematics
- 1991

was encountered in the evaluation of integrals, in the summation of series, in number theory, eie. Indeed the function is probably the most frequently used of the higher transcendental functions in…

The asymptotics of factorials , binomial coefficients and Catalan numbers

We present a variety of novel asymptotic series for factorials, binomial coefficients and Catalan numbers, all having only even or odd powers.

Lehmer's Interesting Series

- Mathematics, PhysicsAm. Math. Mon.
- 2013

From this, a firm basis is provided for Lehmer's observation that π emerges from the limiting behavior of Sk(2) as k → ∞ as k→ ∞ is provided.

Riemann's Zeta Function

- 2014

Preface This document grew out of lecture notes for a course taught in Cambridge during Lent 2014 by Adam Harper on the theory of the Riemann zeta function. There are likely to be errors, which are…

FOR THE GAMMA FUNCTION

- 2000

The function f(x) = [Γ(x+1)]1/x x+1 is strictly decreasing on [1,∞), the function g(x) = [Γ(x+1)]1/x √ x is strictly increasing on [2,∞), and the function h(x) = [Γ(x+1)]1/x √ x+1 is strictly…

Probabilistic lower bounds on maximal determinants of binary matrices

- Mathematics, Computer ScienceAustralas. J Comb.
- 2016

New lower bounds are proved on D(n) and R (n) in terms of d = n-h, where d is the order of a Hadamard matrix and h is maximal subject to $h \le n$.