x-1 supra 2+x supra3 < 2x+1 supra3