Proof of \frac{1}{1-\ln 2} =4-\cfrac{8}{14-\cfrac{72}{30-\cfrac{288}{52-\cfrac{800}{\ddots}}}}

where for \(n\ge1\), \[ a_n=3n^2+7n+4,\quad b_n=-2n^2(n+1)^2,\quad a_0=4. \] Proof: 1. Define convergents: \[ \frac{P_n}{Q_n}=a_0+\cfrac{b_1}{a_1+\cfrac{b_2}{a_2+\cdots+\cfrac{b_n}{a_n}}}. \] Recurrence relations: \[ P_{-1}=1,\;P_0=a_0=4,\quad Q_{-1}=0,\;Q_0=1, \] \[ P_n=a_nP_{n-1}+b_nP_{n-2},\quad Q_n=a_nQ_{n-1}+b_nQ_{n-2}. \] 2. By induction one finds \[ P_n=2^{\,n+1}(n+1)!(n+2)!. \] 3. Define \[ y_n=\frac{Q_n}{P_n},\quad \frac{P_n}{Q_n}=\frac{1}{y_n}. \] From recurrence we obtain \[ z_n:=y_n-y_{n-1}=-\frac{b_nP_{n-2}}{P_n}(y_{n-1}-y_{n-2}). …

Read More