Possible Duplicate:

What’s an example of a space that needs the Hahn-Banach Theorem?

It is well known that the dual of $\ell^{\infty}$ properly contains $\ell^1$ (over $\mathbb{N}$, say). For instance, any Banach limit is an example. However, the construction of a Banach limit that I've seen is nonconstructive: one defines the functional on a closed subspace and extends via the Hahn-Banach theorem (or some variation thereof, to bring about translation-invariance).

Nevertheless, one can see without the axiom of choice that $(\ell^{\infty})^* \neq \ell^1$, because $\ell^{\infty}$ is not separable and therefore (I think!) its dual cannot be, while $\ell^1$ is. However, I was recently thinking about the dual of $\ell^{\infty}$ together with the action of translation operators, and I realized I didn't have a good picture of what this object was like (though I had heard something vague about finitely additive measures).

**Question:** What's an explicit example of an element of $(\ell^{\infty})^* - \ell^1$?

Since my wondering about the nonuniqueness in the definition of Banach limits prompted this question, I also have a follow-up:

**Question$^\prime$:** Can one get a Banach limit explicitly (or at least, can one prove its existence without the axiom of choice)?

**Closed as sort-of-duplicate:** For the answer, see point #2 of Greg's answer to another question.