Small cleanup for a proof in real analysis notes
prove scalar multiplication of continuous function is continuous (and hence there is a vector space of continuous functions