Let \(k\) be the geometric multiplicity of \(\lambda_1\text{,}\) i.e., \(k=\mbox{dim}(\mathcal{S}_{\lambda_1})\text{.}\) Suppose \(\left\{\mathbf{x}_1, \mathbf{x}_2, \ldots ,\mathbf{x}_k\right\}\) is a basis for the eigenspace \(\mathcal{S}_{\lambda_1}\text{.}\) Let \(P\) be any invertible matrix having \(\mathbf{x}_1, \mathbf{x}_2, \ldots ,\mathbf{x}_k\) as its first \(k\) columns, say
\begin{equation*}
P=\begin{bmatrix}
| \amp | \amp \amp | \amp | \amp \amp | \\
\mathbf{x}_1 \amp \mathbf{x}_2 \amp \cdots \amp \mathbf{x}_k \amp \mathbf{x}_{k+1} \amp \cdots \amp \mathbf{x}_n \\
| \amp | \amp \amp | \amp | \amp \amp |
\end{bmatrix}.
\end{equation*}
In block form we may write
\begin{equation*}
P=\begin{bmatrix}
B\amp C
\end{bmatrix} \quad \text{and} \quad P^{-1}=\begin{bmatrix}
D \\
E
\end{bmatrix},
\end{equation*}
where \(B\) is \(n \times k\text{,}\) \(C\) is \(n \times (n-k)\text{,}\) \(D\) is \(k \times n\text{,}\) and \(E\) is \((n-k) \times n\text{.}\) We observe
\begin{equation*}
I_n = P^{-1}P = \left[\begin{array}{c|c}
DB \amp DC \\ \hline
EB \amp EC
\end{array}\right]. \text{.}
\end{equation*}
This implies
\begin{equation*}
DB = I_k,\quad DC=O_{k\,\,n-k},\quad EB = O_{n-k\,\,k} \quad\text{ and }\quad EC = I_{n-k}.
\end{equation*}
Therefore,
\begin{align*}
P^{-1}AP \amp =\begin{bmatrix}
D \\
E
\end{bmatrix}
A
\begin{bmatrix}
B\amp C
\end{bmatrix} =
\left[\begin{array}{c|c}
DAB \amp DAC \\ \hline
EAB \amp EAC
\end{array}\right ] \\
\amp = \left[\begin{array}{c|c}
\lambda_1 DB \amp DAC \\ \hline
\lambda_1 EB \amp EAC
\end{array}\right]
= \left[\begin{array}{c|c}
\lambda_1 I_k \amp DAC \\ \hline
O \amp EAC
\end{array}\right].
\end{align*}
We finish the proof by comparing the characteristic polynomials on both sides of this equation, and making use of the fact that similar matrices have the same characteristic polynomials.
\begin{equation*}
\det(A-\lambda I) = \det(P^{-1}AP-\lambda I)=(\lambda_1 - \lambda)^k \det(EAC).
\end{equation*}
We see that the characteristic polynomial of \(A\) has \((\lambda_1 - \lambda)^k\) as a factor. This tells us that algebraic multiplicity of \(\lambda_1\) is at least \(k\text{,}\) proving the desired inequality.