• Lower bound of each unknown is zero
• Trip count for outer loop is 99
  Therefore, upper bound of , are 98
• Trip count for inner loop is
  

  Therefore upper bound for inner loop is

Symbolic Analysis

• User variables may occur in subscript expressions
• Treat each user variable as another unknown
• If coefficient of user variable is zero, it is eliminated