納n=1,∞]{(4n-4)!!*(2n-3)!!}/{(4n-1)!!*(2n-2)!!}=tan(π/8)を示せ．
ただし，!!は二重階乗である．