OK, so here's my thinking so far; by definition, we measure the operator norm in such a way that we take the smallest such such that the operator is still bounded. But that is the same as saying, we pick the maximal such that for any , we have it is bounded, and hence our equality. Am I on the right lines? How do I put this all formally?