Suppose we have a bounded linear functional f defined on L1 (the sequence space of all absolutely summable sequences) and we take the natural (Schauder) basis for L1, that is, the set of sequences (E1,E2,...,En,...) that have 1 in the n th position and everywere else zero. Pick x in L1.
Then...