Step 2. Tightening upper bound