Loading Open Internet
    Proof that R is a Banach space (with respect to the usual norm )