具有上(下)导数的上(下)半连续函数单调性的一个充要条件

• A necessary and sufficient condition on monotonicity of upper(lower) semi-continuous function satisfied with upper(lower) derived function