Suppose that we apply a Krylov subspace method to the linear system $A x = b$. For example, if $A$ is symmetric positive-definite, then the Conjugate Gradient method may be used.
I remember that the iterations of Krylov subspace methods also reveal information on the spectrum of $A$, at least an estimate for the largest eigenvalue.
I am searching for a detailed derivation of such an estimate that leads to an implementation.