「\(f^\prime>0\)(\( https://for-spring.com/analysis/1dim_realvalued_differentiation-9/