x \ge 0