Fransén–Robinson constant

From specialfunctionswiki
Revision as of 18:59, 24 May 2016 by Tom (talk | contribs)
Jump to: navigation, search

The Fransén–Robinson constant is defined to be the number $F$ given by the formula $$F = \displaystyle\int_0^{\infty} \dfrac{1}{\Gamma(x)} dx,$$ where $\dfrac{1}{\Gamma}$ denotes the reciprocal gamma function.

Proposition (Relation to $e$ and $\pi$): $F=e+\displaystyle\int_0^{\infty} \dfrac{e^{-x}}{\pi^2+\log(x)^2}.$

Proof: proof goes here █