Increasing vs strictly increasing functions