strictly increasing function; strictly increasing monotonic function