add some notes on single variable real analysis, using axiomatic approach to R
Prove limit laws in normed linear spaces