算法导论第五章抛硬币longest streak问题解答

如图 我不明白的点在于如何由上面两行划线处结论推导得到下面一行红线的结论乃之后至于整个不等式求解