Real function/Local maximum and minimum/Definition