Asympto(c

 
Analysis  
Addi(onal  
Examples  
Design  and  Analysis  
of  Algorithms  I  
 Example  #1  
Claim  :  

Proof  :  need  to  pick  constants                      such  that  

Note  :  
So  if  we  choose                              then  (*)  holds.    
Q.E.D  
Tim  Roughgarden  
 Example  #2  
Claim  :    

Proof  :  by  contradic(on.  If      then  there  exist  

constants      such  that  

But  then  [cancelling            ]  

Which  is  certainly  false.    Q.E.D  

Tim  Roughgarden  
 Example  #3  
Claim  :  for  every  pair  of  (posi(ve)  func(ons  f(n),  g(n),    

Tim  Roughgarden  
 Example  #3  (con(nued)  
Proof  :  
For  every  n,  we  have  

And  

Thus  
                       Q.E.D   Tim  Roughgarden