由一维“醉酒的小鸟”引发的一些思考

一维格点上随机游走的粒子，它最终返回出发点的概率为$100\%$

刚开始，在五三的知识拓展部分看到这东西，我觉得十分显然，证明有手就行，结果证了半天才证出来
令$f_n$表示，从$n$开始走，无限步后，走回$0$的概率
我们可以得到：
$f_1=\frac{1+f_2}{2}$

$f_2=\frac{f_1+f_3}{2}$

$f_3=\frac{f_2+f_4}{2}$
$...$
那么
$f_2=2f_1-1$

$f_3=3f_1-2$
$...$
$f_n=n{f}_1-n+1$
$\because f_n>0$
$\therefore f_1>\frac{n-1}{n}$
当$n$趋近正无穷时，$f_1=1$
所以$f_0=1$
$Q.E.D$

我刚开始还尝试了另外一种证法
考虑如何才能令第$2n$步恰好走回$0$
我们可以先$+1$，最后$-1$，
中间$2n-2$步强制$2...i$的前缀和$\ge 0$
这恰好就是$Catalan$数
第$2n$步恰好走回$0$的概率为$\frac{(2n-2)!}{(n-1)!n!}\cdot 2\cdot 2^{-2n}$
中间那个$\times 2$是第一步也可以是-1，整个反一下就好了
那么：
$$\sum _{n=1}^{+\infty }\frac{(2n-2)!}{(n-1)!n!}\cdot 2\cdot 2^{-2n}=1$$
化简得：
$$\sum _{n=1}^{+\infty }\frac{(2n-3)!!}{(2n)!!}=1$$（这里$(-1)!!$我定义成了$1$，本来应该是$0$，然后计算方法也是不严格的，后面每一项都记作前一项乘某个数，所以都成了个二分之一。总之这行可以略过）
正确的表述应该是
$$\sum _{n=1}^{+\infty }\frac{(2n-1)!!}{(2n+2)!!}=1$$
经打表验证，成立
并且发现，这东西看起来有个阶乘，实际上收敛速度特别特别慢
到第$10000$项，总和才$0.996$几
我是从来没见过收敛的结果是个有意思的数的情况下，收敛速度这么慢的东西