FLINT3.7.0-dev

arith_bernoulli_number_size

Synopsis#include <flint/arith.h>
double arith_bernoulli_number_size(ulong n)source

Returns bb such that ∣Bn∣<2⌊b⌋|B_n| < 2^{\lfloor b \rfloor}, from ∣Bn∣<4⋅n!/(2π)n|B_n| < 4 \cdot n!/(2\pi)^n and n!≤(n+1)n+1e−nn! \le (n+1)^{n+1} e^{-n}. Odd nn are not treated specially. The bound is evaluated in double precision and is not guaranteed for n>1014n > 10^{14}.

Cite this page

The FLINT team, “arith_bernoulli_number_size (arith.h),” FLINT: Fast Library for Number Theory, documentation, version 3.7.0-dev, 2026. https://flintlib.org/doc/arith/arith_bernoulli_number_size.html (generated 2026-11-02).