Write ; its value at , if that point is in , may be assigned arbitrarily because Lp spaces identify functions equal almost everywhere. Its L-infinity norm is one.
The supplied estimate shows that cannot agree almost everywhere with any continuous function : choosing would give . Hence
is a direct sum, so every element has a unique expression .
For any complex with , define the linear functional
If , the supplied estimate, applied to , and absolute homogeneity of a norm give
For , the same bound follows from point evaluation. Thus , and makes its operator norm exactly one. The complex Hahn-Banach theorem extends to a norm-one linear functional on all of , with value at .
Conversely every norm-one extension satisfies . We have therefore determined all possible values:
In particular, taking and proves nonuniqueness of norm-preserving point evaluation extensions.