Continuous real function/Positive/Positive in neighborhood/Exercise