∣∣∣∣π−113355∣∣∣∣<2.67⋅10−7
TeX:
\left|\pi - \frac{355}{113}\right| \lt 2.67 \cdot 10^{-7}Definitions:
| Fungrim symbol | Notation | Short description |
|---|
| Abs | ∣z∣
| Absolute value |
| ConstPi | π
| The constant pi (3.14...) |
Source code for this entry:
Entry(ID("1e3a25"),
Formula(Less(Abs(Sub(ConstPi, Div(355, 113))), Decimal("2.67e-7"))))