Let be the sequence with the given properties, and let be a general member of .

Consider the sequence of linear functionals on given by .

Using the fact that , the norm of is easily shown to be .

The supremum is attained at where with for , and where for . Note that and .

Now for all , since by hypothesis the series converges for all such .

By the uniform boundedness principle, . Therefore , which means that .