面白い問題おしえて〜な 34問目

[0442 １３２人目の素数さん 2021/01/18(月) 07:36:03.13 ID:pIN1Y/al]

数列F[n]をF[1]=F[2]=1, F[n+1]=F[n]+F[n-1]で定義するとき
Σ[n=1,∞]arctan(1/F[2n+1]) = π/4
を示せ