decreasing function of one variable