Skip to main content
1 of 2
esg
  • 3.3k
  • 11
  • 15

(Since you are looking for a reference, I turn my comment above into an answer:)

A proof using classical fluctuation theory is given my answer to

Expected supremum of average?

(I'm not aware that this result is well known, or of earlier references).

esg
  • 3.3k
  • 11
  • 15