Beweisteil für bounding of U_t angefangen