TeX:
E\!\left(\frac{\pi}{2}, 0\right) = \frac{\pi}{2}Definitions:
| Fungrim symbol | Notation | Short description | 
|---|---|---|
| IncompleteEllipticE | Legendre incomplete elliptic integral of the second kind | |
| Pi | The constant pi (3.14...) | 
Source code for this entry:
Entry(ID("51a946"),
    Formula(Equal(IncompleteEllipticE(Div(Pi, 2), 0), Div(Pi, 2))))