It wouldn't have killed Rudin to write a few more details in this proof. I don't like writing in my books, but I finally broke down and wrote a few lines of explanation in my copy, after my second or third experience of looking up this proof and forgetting why it worked.
The structure of the proof is to show that
$$\limsup_{n \to \infty}t_n \leq e \leq \liminf_{n \to \infty}t_n$$
Since we always have $\liminf \leq \limsup$, the above inequality implies that
$$\liminf_{n \to \infty}t_n = \limsup_{n \to \infty}t_n = e$$
and therefore the limit $\lim_{n \to \infty}t_n$ exists and equals $e$.
The first step is to prove that
$$\limsup_{n \to \infty}t_n \leq e$$
A minor detail: you have miscopied slightly. Comparing with Rudin, your term
$$\frac{1}{2!}\left(1 - \frac{1}{n}\right)\left(1 - \frac{2}{n}\right)$$
should instead be these two terms:
$$\frac{1}{2!}\left(1 - \frac{1}{n}\right) + \frac{1}{3!}\left(1 - \frac{1}{n}\right)\left(1 - \frac{2}{n}\right)$$
Let us see how to obtain an expression without ellipses:
$$\begin{aligned}
t_n &= \left(1 + \frac{1}{n}\right)^n \\
&= \sum_{k=0}^{n}{n \choose k} 1^{n-k} \left(\frac{1}{n}\right)^{k}\\
&= \sum_{k=0}^{n}\frac{n!}{k!(n-k)!}\left(\frac{1}{n}\right)^k\\
&= \sum_{k=0}^{n}\frac{1}{k!}\left(\prod_{j=0}^{k-1}(n-j)\right)\left(\frac{1}{n}\right)^k \\
&= \sum_{k=0}^{n}\frac{1}{k!}\left(\prod_{j=0}^{k-1}\frac{n-j}{n}\right) \\
&= \sum_{k=0}^{n}\frac{1}{k!}\left(\prod_{j=0}^{k-1}\left(1 - \frac{j}{n}\right)\right) \\
\end{aligned}$$
In the last line, note that the $j=0$ term in the product is $1$, which is why Rudin only needs to write $k-1$ factors of the form $\left(1 - \frac{j}{n}\right)$ in his $k$'th term. Also note that the $k=0$ and $k=1$ terms are simply $1$. (We use the standard convention that the empty product in the $k=0$ term, $\displaystyle\prod_{j=0}^{0-1}$, is equal to $1$.)
Since each factor $\left(1 - \frac{j}{n}\right)$ is $\leq 1$, the $k$th term in the sum is $\leq 1/(k!)$, which gives us
$$t_n \leq \sum_{k=0}^{n}\frac{1}{k!} = s_n$$
We can take the limsup of both sides of this inequality to conclude that
$$\limsup_{n \to \infty} t_n \leq \limsup_{n \to \infty} s_n = \lim_{n \to \infty}s_n = e$$
The next step is to show that
$$e \leq \liminf_{n \to \infty}t_n$$
Observe that the terms in the sum
$$t_n = \sum_{k=0}^{n}\frac{1}{k!}\left(\prod_{j=0}^{k-1}\left(1 - \frac{j}{n}\right)\right)$$
obtained above are all nonnegative, so $t_n$ is at least as large as the sum of the first $m$ terms ($m \leq n$):
$$t_n \geq \sum_{k=0}^{m}\frac{1}{k!}\left(\prod_{j=0}^{k-1}\left(1 - \frac{j}{n}\right)\right)$$
which is the second expression given by Rudin. The right-hand side depends on both $m$ and $n$. For convenience, let's give it a name:
$$a_{m,n} = \sum_{k=0}^{m}\frac{1}{k!}\left(\prod_{j=0}^{k-1}\left(1 - \frac{j}{n}\right)\right)$$
So our inequality is simply
$$t_n \geq a_{m,n}$$
Let us now consider what happens if we hold $m$ fixed and take $n \to \infty$. We focus on the right hand side.
First, observe that $0 \leq j \leq k-1$, and $0 \leq k \leq n$, which means that $0 \leq j \leq n-1$. Therefore
$$\lim_{n \to \infty}\left(1 - \frac{j}{n}\right) = 1$$
Now, observe that $m$, $j$, and $k$ do not depend on $n$, so the limit of the product is the product of the limits of the factors:
$$\lim_{n \to \infty}\prod_{j=0}^{k-1} \left(1 - \frac{j}{n}\right) = \prod_{j=0}^{k-1}\left[ \lim_{n \to \infty} \left(1 - \frac{j}{n}\right) \right] = \prod_{j=0}^{k-1} [1] = 1$$
Similarly, the limit of the sum is the sum of the limits of the terms, so
$$\begin{aligned}
\lim_{n \to \infty}a_{m,n} &= \lim_{n\to\infty}\sum_{k=0}^{m}\frac{1}{k!}\left(\prod_{j=0}^{k-1}\left(1 - \frac{j}{n}\right)\right)\\
&= \sum_{k=0}^{m}\frac{1}{k!} \left[\lim_{n \to \infty} \left(\prod_{j=0}^{k-1}\left(1 - \frac{j}{n}\right)\right]\right) \\
&= \sum_{k=0}^{m} \frac{1}{k!}[1] \\
&= \sum_{k=0}^{m} \frac{1}{k!} \\
&= s_m \\
\end{aligned}$$
This shows that the limit of the right hand side of the inequality
$$t_n \geq a_{m,n}$$
exists as $n \to \infty$. We don't yet know that the limit of the left hand side exists. But certainly we can take the liminf of both sides to obtain
$$\liminf_{n \to \infty}t_n \geq \liminf_{n \to \infty} a_{m,n} = \lim_{n \to \infty}a_{m,n} = s_m$$
where we have used the fact shown above that $\lim_{n \to \infty}a_{m,n}$ exists and equals $s_m$.
Then, as Rudin indicates, we can take the limit of the right hand side as $m \to \infty$ (the left hand side does not depend on $m$), to conclude that
$$\liminf_{n \to \infty}t_n \geq \lim_{m \to \infty}s_m = e$$
This concludes the proof.