Before proceeding we record an inequality for the size of an admissible X.
For later use, we record the following formulas:......
For future reference, we record this in the following corollary.
Standard Banach space notation is used throughout. For clarity, however, we record the notation that is used most heavily.