Suppose, for example, that on Day $n$, $n$ agents have each bet $n$ times in succession. That regime fits the form above with $f(n) = n$. Will that do? No. An argument I got from Ewain Gwynne shows that, again, $m=\frac{1}{4}$ does best. Indeed, by Hoeffdingapplying Hoeffding's Inequality to $K$, we have that with probability at least $1-2e^{-2\epsilon^2n}$:
\begin{equation} (1-m)^{n(\frac{1}{2} + \epsilon)}(1+2m)^{n(\frac{1}{2} - \epsilon)} \leq B^m_{n,i} \leq (1-m)^{n(\frac{1}{2} - \epsilon)} (1+2m)^{n(\frac{1}{2} + \epsilon)} \end{equation}
for any $\epsilon$, $n$, and each $i=1,\ldots,n$. By the union bound, we have that with probability at least $1-2ne^{-2\epsilon^2n}$, all the $B^m_{n,i}$ lie within these bounds simultaneously. So with probability at least $1-2ne^{-2\epsilon^2n}$:
That is, the lower bound for $S^m_n$ is higher than the higher bound for $S^ {m'}_n$. AndSo with probability at least $1-4ne^{-2\epsilon^2n}$, both $S^m_n$ and $S^{m'}_n$ lie within their bounds simultaneously$1-2ne^{-2\epsilon^2n}$, in which casewe have $S^m_n > S^{m'}_n$. Finally, noting that for any $\epsilon$, $1-4ne^{-2\epsilon^2n} \to 1$$1-2ne^{-2\epsilon^2n} \to 1$ as $n \to \infty$ and $\frac{1}{4}$ maximizes $(1-m)(1+2m)$ over $m \in [0,1]$, we have the result.