|S_n|\leq M