Finite-sample valid prediction of future insurance claims in the regression problem