■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

がある.

===================================