Prove that the following code fragment will always terminate. s = 3*n // n is an integer while (s>0) if (s is even) S else = floor (s/4) S := 2*s 2