Ritz Method implies Not Worse Approximation with Increased Number of Functions

Theorem
Consider Ritz method.

Let $ \eta_n = \boldsymbol \alpha \boldsymbol \phi $, and $ J \left [ { \eta_n } \right ] = \mu_n $.

Then $ \mu_n \ge \mu_{ n + 1 }$