Dedekind cuts for $\pi$ and $e$

Here is a simple description for $e$. The left set consists of all rationals $r$ such that $$r\lt 1+\frac{1}{1!}+\frac{1}{2!}+\frac{1}{3!}+\cdots +\frac{1}{n!}$$ for some $n$. This description is close in spirit to one of the many definitions of $e$.

One can give a similar description for $\pi$, though there is nothing as natural. We could use the following variant of the "Leibniz" series, using for the left set all rationals $r$ such that $$r\lt 4-\frac{4}{3}+\frac{4}{5}-\frac{4}{7}+ \cdots +\frac{4}{4n+1}-\frac{4}{4n+3}$$ for some $n$. Note that we stop with a "$-$" because we want to make sure we are below $\pi$.


Based on what other people said. Let $q_n = 1 + 1/1! + 1/2! + ... + 1/n!$. This is a rational number, thus the associated cut $q_n^* = \{ x \in \mathbb{Q} ~ | ~ x < q_n \}$. The number $e$ is the supremum of all of these. Thus, we can say, $$ e = \bigcup_{n\geq 1} q_n^* $$


If one feels uneasy to use series to define the Dedekind cut for $e$, we can instead take the set $Q_e$ of every rational approximations of $e$ and define the cut as the set $R_e$ of every rational $q$ such as $q < p$ for some $p \in Q_e$.

The series provides a method to compute some members of the cut, but you don't need the series to define the cut itself. The same goes for $\pi$ or any real number.