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