Question about Answer to limsup of $\sigma_n=\frac{s_1+s_2+\cdots+s_n}{n}$ here's the relevant question: If $\sigma_n=\frac{s_1+s_2+\cdots+s_n}{n}$ then $\operatorname{{lim sup}}\sigma_n \leq \operatorname{lim sup} s_n$
In the accepted answer, doesn't the last inequality only work if $\sup_{l\geq k}s_l$ is nonnegative?
The "last inequality" I'm referring to is this:
$$\frac 1n\sum_{j=1}^ks_j+\frac{n-k}n\sup_{l\geqslant k}s_l\leqslant  \frac 1n\sum_{j=1}^ks_j+\sup_{l\geqslant k}s_l.$$
I ran into this issue when trying to prove the analagous statement for liminf, because in the case of liminf I could only get a similar inequality if $\inf_{l\geq k}s_l \leq 0$, as follows:
$$\sigma_n=
\frac 1n\sum_{j=1}^ks_j+\frac 1n\sum_{j=k+1}^ns_j
\geqslant \frac 1n\sum_{j=1}^ks_j+\frac{n-k}n\inf_{l\geqslant k}s_l
$$
From here, if $\inf_{l\geq k}s_l \leq 0$ then I could continue and write 
$\geq\frac 1n\sum_{j=1}^ks_j+\inf_{l\geqslant k}s_l$.
Could someone clarify please?

\begin{align*}
&\limsup_{n}\left(\dfrac{1}{n}\sum_{j=1}^{k}s_{j}+\dfrac{n-k}{n}\sup_{l\geq k}s_{l}\right)\\
&\leq\limsup_{n}\dfrac{1}{n}\sum_{j=1}^{k}s_{j}+\limsup_{n}\dfrac{n-k}{n}\sup_{l\geq k}s_{l}\\
&=\lim_{n}\dfrac{1}{n}\sum_{j=1}^{k}s_{j}+\lim_{n}\dfrac{n-k}{n}\sup_{l\geq k}s_{l}\\
&=\sup_{l\geq k}s_{l},
\end{align*}
you still got it.
