editing
approved
editing
approved
editing
approved
c = 0.06805650384668932892961265220725107128262312556515094156663626480587814403851617068056503846689328929612652207251071282623125565150941566636264805878144...
approved
editing
editing
approved
From Vaclav Kotesovec, Dec 01 2023: (Start)
a(n) ~ c * exp(n*(n+1)*s - 7*n*(n-2)/2) * n^(7*(n^2 - 1/4)), where
s = Sum_{j>=1} (-1)^(j+1)/(j*(1 + 7*j)) = Pi/(2*sin(Pi/7)) + 3*log(2)/2 - 7 - cos(Pi/7) * log(2*sin(Pi/14)^2) - log(2*sin(3*Pi/14)^2) * sin(Pi/14) + log(cos(3*Pi/14)*cos(Pi/7) / sin(Pi/7)) * sin(3*Pi/14) = 0.10150386842315637912206687298894641634315636548242136512503... and
c = 0.06805650384668932892961265220725107128262312556515094156663626480587814403851617
Equivalently, s = log(2) - HurwitzLerchPhi(-1, 1, 1 + 1/7). (End)
For m>1, Product_{j=1..n, k=1..n} (j^m + k^m) ~ c(m) * exp(n*(n+1)*s(m) - m*n*(n-2)/2) * n^(m*(n^2 - 1/4)), where s(m) = Sum_{j>=1} (-1)^(j+1)/(j*(1 + m*j)) and c(m) is a constant (dependent only on m). Equivalently, s(m) = log(2) - HurwitzLerchPhi(-1, 1, 1 + 1/m). - Vaclav Kotesovec, Dec 01 2023
approved
editing
proposed
approved
editing
proposed
Limit_{n->infinityoo} (a(n)^(1/n^2))/n^7 = 2^(3/2) * (cos(3*Pi/14) / tan(Pi/7))^sin(3*Pi/14) / ((cos(Pi/14)*tan(3*Pi/14))^sin(Pi/14) * (sin(Pi/7)*tan(Pi/14))^cos(Pi/7)) * exp((Pi/sin(Pi/7) - 21)/2) = 0.0334234967249533921390751418772468470887965377...
proposed
editing