OFFSET
0,3
FORMULA
a(n) ~ c * (sqrt(2) - 1)^n * exp(2*G*n^2/Pi), where c = sqrt(Pi) / Gamma(3/4)^2 if n is even and c = 2^(1/4) if n is odd, G is Catalan's constant A006752. - Vaclav Kotesovec, Mar 18 2023
MATHEMATICA
Table[Sqrt[Product[Product[(4*Sin[j*Pi/n]^2 + 4*Cos[k*Pi/n]^2), {j, 1, n - 1}], {k, 1, n - 1}]], {n, 0, 15}] // Round (* Vaclav Kotesovec, Mar 18 2023 *)
PROG
(PARI) default(realprecision, 120);
{a(n) = round(sqrt(prod(j=1, n-1, prod(k=1, n-1, 4*sin(j*Pi/n)^2+4*cos(k*Pi/n)^2))))}
CROSSREFS
KEYWORD
nonn
AUTHOR
Seiichi Manyama, Jan 11 2021
STATUS
approved