Module 17: Loops
  Lecture 34: Symbolic Analysis
 
Step
Lower Bound
Upper Bound
original eqn
eliminate
eliminate
eliminate M
No dependence when

 

 
 
 

 

Step
Lower Bound
Upper Bound
original eqn
eliminate
eliminate
eliminate M
8

Therefore, there is a dependence

 

Extreme values of M are and 1
Therefore, dependence with cannot exist