OP-00077 Lean verified Is the ideal GMRES bound sharp for every Jordan block? NA · GMRES · Jordan blocks · Krylov subspace methods · OpenProblemsInNLA