The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Given , a Cauchy Sequence in :
Have Cauchy in for all - since so for some . is linear by linearity of and taking pointwise limits. bounded: Given , for all for some .
so
Let :
Hence