In[]:=
c=NIntegrate[E^(-t^2),{t,0,1/2},WorkingPrecision->20]
Out[]=
0.46128100641279244876
In[]:=
r=PolyhedronData["Cube","MeanInteriorLineSegmentLength"];
In[]:=
n=;
3(7/5r-2)
2(26847/5r-5001)
In[]:=
Quiet
1
c+n
(c+n)
Out[]=
0.18785964246206712290
In[]:=
0.18785964246206712290
So define m as csc(πt)t where :
∞
∫
1
rt
r=
log(-1)
1/t
t
t
In[]:=
m=NReNIntegrate(Csc[πt])/.r->Log[t^(1/t)-1]t,{t,1,I*Infinity},WorkingPrecision->20,Method->"Trapezoidal",18
rt
Out[]=
0.187859642462067120
In[]:=
Quietc-
-nLog[m]-ProductLog[-Log[m]]
Log[m]
Out[]=
2.×
-18
10
So,c≈,wheremistheMRBconstantandnisatermoftheInteriorLineSegmentLength.
-nlog(m)-W(-log(m))
log(m)