Comment by Tainnor

> You can also define it as `3.14159...` just because.

That's not a rigorous definition, though, because it doesn't tell you what those "..." expand to.