OFFSET
1,3
LINKS
Seiichi Manyama, Table of n, a(n) for n = 1..45
FORMULA
a(n) = 4^((n-2)*(n-1)) * Product_{1<=i<j<=n-1} (1 - cos(i*Pi/(2*n))^2 * cos(j*Pi/(2*n))^2).
a(n) ~ sqrt(Gamma(1/4)) * exp(4*G*n^2/Pi) / (Pi^(3/8) * n^(3/4) * 2^(3*n - 9/4) * (1 + sqrt(2))^n), where G is Catalan's constant A006752. - Vaclav Kotesovec, Jan 05 2021
MATHEMATICA
Table[4^((n-2)*(n-1)) * Product[Product[1 - Sin[i*Pi/(2*n)]^2 * Sin[j*Pi/(2*n)]^2, {i, 1, j-1}], {j, 2, n-1}], {n, 1, 12}] // Round (* Vaclav Kotesovec, Dec 31 2020 *)
PROG
(PARI) default(realprecision, 120);
{a(n) = round(4^((n-2)*(n-1))*prod(j=2, n-1, prod(i=1, j-1, 1-(sin(i*Pi/(2*n))*sin(j*Pi/(2*n)))^2)))}
CROSSREFS
KEYWORD
nonn
AUTHOR
Seiichi Manyama, Dec 29 2020
STATUS
approved