real analysis limit of a function