OFFSET
0,1
COMMENTS
3064 is the least number of persons for which the probability exceeds 1/2.
This constant is a rational number: its numerator and denominator both have 7849 digits: 1.00618594635389...*10^7848 / 2.00929558595969...*10^7848.
The sequence has a period of 2.498547877282...*10^5706.
LINKS
Mario Cortina Borja, The strong birthday problem, Significance, Vol. 10, No. 6 (2013), pp. 18-20; alternative link.
Anirban DasGupta, The matching, birthday and the strong birthday problem: a contemporary review, Journal of Statistical Planning and Inference, Vol. 130, No. 1-2 (2005), pp. 377-389; alternative link.
Chijul B. Tripathy, The Strong Birthday Problem Revisited, arXiv:2510.26056 [math.CO], 2025.
Eric Weisstein's World of Mathematics, Birthday Problem.
Wikipedia, Birthday problem: Generalizations.
FORMULA
Equals p(3064, 365), where p(n, m) = (m!*n!/m^n) * Sum_{k=0..m} (-1)^k * (m-k)^(n-k)/(k!*(m-k)!*(n-k)!) is the probability for the general case of n persons, with m days. 3064 is the least value of n for which p(n, 365) exceeds 1/2 (DasGupta, 2005).
Equivalently, p(m, n) = Sum_{k=1..floor(n/2)} binomial(m, k) * k! * T(n, k) / m^n, where T(n, k) = A008299(n, k) are the associated Stirling numbers of second kind (Tripathy, 2025).
EXAMPLE
0.500765518714518652950844093526753370041577255398306...
MATHEMATICA
p[n_, m_] := (m!*n!/m^n) * Sum[(-1)^k *(m-k)^(n-k)/(k!*(m-k)!*(n-k)!), {k, 0, Min[n, m]}];
RealDigits[p[3064, 365], 10, 120][[1]]
PROG
(PARI) p(n, m) = (m!*n!/m^n) * sum(k = 0, min(n, m), (-1)^k *(m-k)^(n-k)/(k!*(m-k)!*(n-k)!));
list(len) = digits(floor(p(3064, 365)*10^len));
CROSSREFS
KEYWORD
AUTHOR
Amiram Eldar, Feb 08 2026
STATUS
approved
