Pi
Constants
Pi
Integral representations
On the real axis
Involving the direct function