SupplementaryMaterialforLipschitz-Certifiable TrainingwithaTightOuterBound