Theorem M ≤ κ for Structural Inertia in Information-Dynamic Theory

This note provides a corrected and formally verified proof of the inequality M(ω) ≤ κ for the structural inertia functional in Information-Dynamic Theory (IDT).The proof clarifies the equality condition and replaces the earlierCauchy–Schwarz reference with a direct spectral bound argument. The result establishes that structural inertia is always boundedby the condition number of the generalized eigenvalue problem Hv = λGv.