Prove limit superior of a sequence is greater than or equal to limit superior of the Cesàro mean of that sequence
If $\sigma_n=\frac{s_1+s_2+\cdots+s_n}{n}$ then $\operatorname{{lim sup}}\sigma_n \leq \operatorname{lim sup} s_n$