Possible Duplicate:
Nonnegative linear functionals over $l^\infty$
An explicit functional in $(l^\infty)^*$ not induced by an element of $l^1$?
Exercise: Prove there exist a bounded linear functional $L :l_{ \infty} \rightarrow \mathbb{R}$ such that for every $(x_n)=x \in l _ { \infty }$ $$\lim \mathrm{Inf} (x_n) \leq L(x) \leq \lim \mathrm{Sup} (x_n). $$ My current progress is that should be $L \in l _{ \infty}^*\setminus l_1$. Also I know since $l_1$ is not bidual so there are such functionals. Any help is appreciated.