Generalized limit in $l_\infty$ (Using: Hahn Banach Extension Theorem)
This is only about the part 3, where you want to show that for $f(x)=f(Sx)$ where $S$ denotes the shift-operator, i.e., \begin{align*} x&=(x_1,x_2,x_3,\dots,x_k,\dots)\\ Sx&=(x_2,x_3,x_4,\dots,x_{k+1},\dots) \end{align*}
Since $f$ is linear, it clearly suffices to show $f(x-Sx)=0$. So you want to show that $f(y)=0$ for any $y$ obtained as $$y=(x_1-x_2,x_2-x_3,\dots,x_k-x_{k+1},\dots)$$ from some bounded sequence $x\in\ell_\infty$.
Since $-p(-y)\le f(y) \le p(y)$, it suffices to show that $$p(y)=p(-y)=0$$ for every such $y$.
For this purpose, let me try to rewrite $p$ in another way.
For any finite set $F\subseteq\mathbb N$ let us denote $$M_F(x)= \limsup_{n\to\infty} \frac{\sum\limits_{j\in F} x_{n+j}}{|F|}.$$ In this way we get that $$p(x)=\inf\{M_F(x); F\subseteq\mathbb N\text{ is finite}\}.$$
Let us also have a look at a different sublinear function $$r(x)=\inf_{k\in\mathbb N}\limsup_{n\to\infty} \frac{x_{n+1}+\dots+x_{n+k}}k.$$ To relate this in some way to $p(x)$ we may notice that this can be also written as $$r(x)=\inf\{M_F(x); F=\{1,2,\dots,k\}\text{ for some }k\}.$$
After the rewriting, we can see immediately that $$p(x)\le r(x).$$
It should not be very difficult to check that in fact we have $$-r(-x) \le -p(-x) \le p(x) \le r(x).$$ (Similarly as for $p$, change from $r(x)$ to $-r(-x)$ basically just involves interchanging infima and suprema. By the way, $-r(-x)$ is exactly what you denote as $q(x)$ in the current revision of your question.)
So now it suffices to check that $r(y)=-r(-y)=0$ whenever $y=x-Sx$, which is almost immediate, since we get $$r(y) = \inf_{k\in\mathbb N} \limsup_{n\to\infty} \frac{(x_{n+1}-x_{n+2})+\dots+(x_{n+k}-x_{n+k+1})}k = \inf_{k\in\mathbb N} \limsup_{n\to\infty} \frac{x_{n+1}-x_{n+k+1}}k = 0$$ simply by using the fact that $0\le\left|\frac{x_{n+1}-x_{n+k+1}}k\right| \le \frac{2\|x\|_\infty}k$.
So it seems that the above solves the part 3. But it still seems to me that this is kind of cheating or at least not what the author intended. The reason is that we could use Hahn-Banach Theorem directly with $r(x)$ to get Banach limit (as described in my answer to another question, or in this question which was shown in the sidebar among related questions). So it seems to me rather unlikely that the proof would use a more complicated function $p(x)$ when applying Hahn-Banach Theorem and then a simpler function $r(x)$ in the proof that the resulting functional has the desired property.
But I still hope that this might be, in some way, useful to get closer to the solution which was intended by the author of the hint.
Perhaps it is also interesting to mention that in a 1988 edition of the book the author chosen a different approach to prove existence of Banach limit from Hahn-Banach Theorem, see Exercise 5 on page 140. The approach given there seems to be closer to the approach described at the end of this answer.