algebraic inequality, monotonicity, differentiable complex function