real analysis - slope of vertical line - Mathematics Stack Exchange