The procedure INTY-LOG returns an integer approximation to log2 n, where n is an integer greater than 0. What is the worst-case run time of this procedure, in terms of n? Express your answer using Big O notation. Prove that your answer is correct.