OFFSET
0,1
COMMENTS
This constant equals half the total fractional excess of circumscribed regular polygon half-perimeters over Pi: 2*c = Sum_{n>=3} (n*tan(Pi/n)/Pi - 1). Each term n*tan(Pi/n)/Pi - 1 measures how much the half-perimeter of the circumscribed regular n-gon exceeds Pi. The series converges since each term is asymptotic to Pi^2/(3*n^2). This constant also appears as the leading coefficient in -log(L(theta)) ~ c*(Pi/2 - theta)^2 as theta -> Pi/2, where L(0) = A379131. The inscribed analog is A394496.
FORMULA
Equals (1/2)*Sum_{m>=1} T(m+1)*Pi^(2m)/((2m+1)!) * (zeta(2m) - 1 - 4^(-m)) where T(k) = A000182(k) are the tangent numbers.
EXAMPLE
0.853933950843351553929946049015170139924502800848152...
MATHEMATICA
NSum[(n Tan[Pi/n]/Pi - 1)/2, {n, 3, Infinity}, WorkingPrecision -> 50, NSumTerms -> 500]
PROG
(Python)
from mpmath import mp, pi, zeta, taylor
mp.dps = 80
N, tc = 2000, taylor(mp.tan, 0, 101)
c = sum((n*mp.tan(pi/n)/pi-1)/2 for n in range(3, N+1))
c += sum(tc[2*k+1]*pi**(2*k)*(zeta(2*k)-sum(mp.mpf(1)/n**(2*k) for n in range(1, N+1)))/2 for k in range(1, 48))
print(c)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Uğur Sezen, Mar 19 2026
STATUS
approved
