TeX:
\left|\pi - \frac{\log\!\left({640320}^{3} + 744\right)}{\sqrt{163}}\right| \lt 2.24 \cdot 10^{-31}Definitions:
| Fungrim symbol | Notation | Short description |
|---|---|---|
| Abs | Absolute value | |
| ConstPi | The constant pi (3.14...) | |
| Log | Natural logarithm | |
| Pow | Power | |
| Sqrt | Principal square root |
Source code for this entry:
Entry(ID("fdc3a3"),
Formula(Less(Abs(Sub(ConstPi, Div(Log(Add(Pow(640320, 3), 744)), Sqrt(163)))), Decimal("2.24e-31"))))