After watching the biggest lead in Superbowl History evaporate, I looked for info in Feller's classic chapter on coin toss leads, but could not find anything about how to calculate the expected distribution of Lead Sizes at any point during a Coin Tossing Game of length n.
It is easy to find out the distribution of Lead Sizes at the end of a game - but what about during the game?
Yes, 0 would be the expected most frequent Lead Size at the end, but there are often many times during a game when the Lead Size is higher than it is at the end of the game.
To simplify the question, I could limit it to asking what is the Distribution of Largest Size Leads for Heads at any point during a Coin Tossing Game of n Tosses? I supposed we could define "Lead Size" as the difference between nHeads and nTails at any specific point during the game.