STATUS
proposed
approved
proposed
approved
editing
proposed
For the Foias constant F satisfying FRF = fRf, F*f is very close to the third zero of the Riemann Zeta zeta function.
(SageSageMath) N((pi+exp(exp(-1)))/2, digits=107) # Danny Rorabaugh, Mar 26 2015
approved
editing
(MAGMAMagma) R:= RealField(100); (Pi(R) + Exp(1/Exp(1)))/2; // G. C. Greubel, Aug 31 2018
editing
approved
Equals (Pi + e^(1/e))/2.
proposed
editing
editing
proposed
Equals (Pi + e^(1/e))/2
2.2931302572997792931302572997796860604912459379665536278824263086794933977336283
(MAGMA) R:= RealField(100); (Pi(R) + Exp(1/Exp(1)))/2; // G. C. Greubel, Aug 31 2018
approved
editing
editing
approved
(PARI) (exp(exp(-1))+Pi)/2 \\ Charles R Greathouse IV, Mar 10 2016
approved
editing