Если на входе M=2^n, то на выходе будет M=2^(n+1)
(Только что посчитал специально, раз уж Дискоед сказал, что неправильно. Могу выложить решение)
Соответственно, если М=2^1 и повторять цикл N раз, то на выходе получится М=2^(N+1)
Ну и Z=log2(2^(N+1))=N+1
Где ошибка?
В вычислениях где-то
Запусти на компьютере, увидишь правильные Z(1),Z(2),...