Email Record: An introduction to proof through real analysis /