Because of n>n, k> (n+1)/2 = (2k+1)/2 = k+1/2,

And k is the maximum of k 1 and k2, so k >: k+1/2 > k 1，

So as to satisfy the conclusion in the second line.