A nearly degenerate random variable occurring in an occupancy problem (Q749002)

Let n distinguishable balls be placed randomly into n cells. If \(M_ n\) denotes the maximal number of balls falling into the same cell, it is shown that asymptotically \(M_ n\) attains only two values: There is a sequence \(m_ n\) of integers such that \(P(M_ n=m_ n\) or \(M_ n=m_ n+1)\) tends to 1, as \(n\to \infty\). \(m_ n\) is determined explicitly and asymptotically. Further we prove, for any \(p\in [0,1]\), the existence of a sequence \(n_ 1<n_ 2<..\). of integers such that \(P(M_{n_ i}=m_{n_ i})\to p\), as \(i\to \infty\).