Theorem 3.2 — maximum-load upper bound

For every natural number $d$, there exists a nonnegative real $C$ such that for every positive real $\varepsilon$, there exists a natural number $N$ such that, for every natural number $n\ge N$, the uniform probability that the maximum load is at most $\log\log(n+1)/\log(d+2)+C$ is at least $1-\varepsilon$. The maximum load is obtained by allocating $n+1$ balls sequentially to $n+1$ initially empty bins, each ball making $d+2$ independent uniform choices with replacement and joining the earliest choice of minimum current load. The constant $C$ may depend on $d$ but not on $\varepsilon$ or $n$; $N$ may depend on $d$ and $\varepsilon$.