M=\max\{m,|S_{n_0}|+1\}