Text this: TIGHT POLYNOMIAL WORST-CASE BOUNDS FOR LOOP PROGRAMS.