proba_theoretical_first_excursion_iid function

Probability $P(Q(1)\geq a)$ that the height of the first excursion is greater or equal to a given a i.i.d. model on the letters sequence