Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Also, for this kind of question you frequently either get an "exact" answer which is intractable (the formula is just too hairy), or some approximations and/or bounds which are in much simpler form. So, what are you looking for?
@user1946334 - then what you want to prove is probably wrong, because the "typical" longest sequence of 0's should be of length roughly $\log_2 n$. Anyhow, see the links below.