OFFSET
0,1
COMMENTS
16 is the least number of pairs for which the probability exceeds 1/2.
This constant is a rational number: its numerator and denominator have 78 and 79 digits, respectively (see the Formula section).
The sequence has a period of 635003019788041508950067678118375842016205817006497843592 = 6.350...*10^56.
REFERENCES
Tony Crilly, 50 Maths Ideas You Really Need to Know, Quercus, 2007, p. 134.
LINKS
Tony Crilly and Shekhar Nandy, The birthday problem for boys and girls, The Mathematical Gazette, Vol. 71, No. 455 (1987), pp. 19-22.
Alan H. Rapoport, 82.23 Birthday problems - a search for elementary solutions, The Mathematical Gazette, Vol. 82, No. 493 (1998), pp. 111-114.
Eric Weisstein's World of Mathematics, Birthday Problem.
Wikipedia, Birthday problem.
FORMULA
Equals p(16, 365), where p(n, m) = 1 - (1/m^(2*n))* Sum_{k=1..n} (m-k)^n * m!/(m-k)! * Stirling2(n, k) is the probability for the general case of n girls and n boys, with m days, and Stirling2(n, k) are the Stirling numbers of the second kind (A008277) (Crilly and Nandy, 1987). 16 is the least value of n for which p(n, 365) exceeds 1/2.
Equals 544416179442231759781983199231458470963544567415740105745789686392230709653681 / 1079291581281624505141632177462834782600007593666071598003990948200225830078125.
EXAMPLE
0.504419925888567408152548746039115464670957994312001...
MATHEMATICA
p[n_, m_] := 1 - (1/m^(2*n)) * Sum[(m-k)^n * m!/(m-k)! * StirlingS2[n, k], {k, 1, n}];
RealDigits[p[16, 365], 10, 120][[1]]
PROG
(PARI) p(n, m) = 1 - (1/m^(2*n)) * sum(k = 1, n, (m-k)^n * m!/(m-k)! * stirling(n, k, 2));
list(len) = digits(floor(p(16, 365)*10^len));
CROSSREFS
KEYWORD
AUTHOR
Amiram Eldar, Feb 08 2026
STATUS
approved
