Fast Lasso Prediction Bound under the Compatibility Condition