sup\{s_n | n \in N\} \leq sup\{s'_m | m \in N\}