>>63
積和使えば
a_n=Σ[k=1,2^(n-1)]cos{(2k-1)/(3*2^n)}/2^n
になるんじゃないか