  The chain complexes underlying Floer homology theories typically carry areal-valued filtration, allowing one to associate to each Floer homology classa spectral number defined as the infimum of the filtration levels of chainsrepresenting that class. These spectral numbers have been studied extensivelyin the case of Hamiltonian Floer homology by Oh, Schwarz, and others. We provethat the spectral number associated to any nonzero Floer homology class isalways finite, and that the infimum in the definition of the spectral number isalways attained. In the Hamiltonian case, this implies that what is known asthe ``nondegenerate spectrality'' axiom holds on all closed symplecticmanifolds. Our proofs are entirely algebraic and apply to any Floer-type theory(including Novikov homology) satisfying certain standard formal properties. Thekey ingredient is a theorem about the existence of best approximations ofarbitrary elements of finitely generated free modules over Novikov rings byelements of prescribed submodules with respect to a certain family ofnon-Archimedean metrics.
Our proofs are entirely algebraic and apply to any Floer-type theory (including Novikov homology) satisfying certain standard formal properties. The key ingredient is a theorem about the existence of best approximations of arbitrary elements of finitely generated free modules over Novikov rings by elements of prescribed submodules with respect to a certain family of non-Archimedean metrics.