inequality by induction