Is there either a closed form (in terms of the moments of $X\_1$, say) or good bounds on
$$
\mathbb{E} \sup\_{k \leq n} \frac{1}{k} \sum\_{i=1}^k X\_i,
$$
where $X\_i$ are iid and arbitrarily nice? (In my specific application, $X\_i$ are given by $(B\_i - p)^2$, where $B\_i$ are iid Bernoulli variables with mean $p$.) I am particularly interested in the correct functional dependence on $n$; e.g., is there a constant bound that holds for all $n$?



Expected supremum of average?
You're asking about maximal inequalities. These are known in more generality for measure-preserving transformations. As has already been pointed out, in your special case, you can expect to get a constant bound. The averages very quickly approach the limit, so you're looking at the average of the max of the first few terms together with the limiting value. 


In general, for measure-preserving transformations, if the $X\_k$ are just $L^1$ (even in the iid case), the expectation of the supremum can diverge logarithmically. If the $X\_k$ have some higher moments: $L^p$ for any $p>1$, then you get the bound $\|M((X\_k))\|\_p \le C\_p \|X\_1\|\_p$, where $C\_p$ is some constant with a $p-1$ in the denominator.


