>>861
t=ln(2+√5) とおいて e^t=√5+2、e^(-t)=√5-2 より
4=e^t-e^(-t)=(1+t+t^3/2+t^3/6+…)-(1-t+t^2/2-t^3/6+…)≒2(t+t^3/6)
と近似するのだろう。