In mathematical analysis, a Banach limit is a continuous linear functional \phi:\ell ^{\infty }\to {\mathbb {C}} defined on the Banach space \ell^\infty of all bounded complex-valued sequences such that ... Wikipedia