Conformal Prediction with Upper and Lower Bound Models