The third possibility is ruled out since k was assumed to be large, so we are left with the first two.
Третью возможность отбрасываем, поскольку мы предположили, что k велико, так что остаются два первых.