■23と253(その5)
[Q]同じ部屋にいる人のうち,少なくとも二人の誕生日が同じになるためには,その部屋には「少なくとも」何人いればよいか?
ではなく
[Q]同じ部屋にいる人のうち,少なくとも二人の誕生日が同じになるためには,その部屋には「平均して」何人いればよいか?
について考えてみる.
この問題には近似的な公式があって,
k〜(π/2)^1/2・(n)^1/2〜1.25√n
ハルモスの概算公式
k〜(log4)^1/2・(n)^1/2>1.18√n
より少し大きい.
===================================
k〜(π/2)^1/2・(n)^1/2〜1.25√n
よりも正確な公式として
[1]マチスの近似公式
k〜(1+√(1+8nlog2))/2
[2]ラマヌジャンの近似公式
k〜(πn/2)^1/2+3/2+1/12・(π/2n)^1/2−4/135n
がある.
===================================