>>63
a(n)*sin(π/3・2^n)={cos(π/3・2)cos(π/3・2^2)…}*cos(π/3・2^n)*sin(π/3・2^n)