Experimental valid ineqlaity for y