Это не правильно. a не может быть частью формулы big-O, поскольку это просто временная переменная.
Вне головы, если мы возьмем умножение как операцию с постоянным временем, то число выполненных умножений будет O (журнал журнала n ) . Если бы вы умножали на константу каждую итерацию, то это было бы O (log n ). Поскольку вы умножаете на растущее число каждую итерацию, то есть еще один журнал.
Думайте об этом как о количестве цифр, удваивающем каждую итерацию. Сколько раз вы можете удвоить количество цифр, прежде чем превысите лимит? Число цифр равно log n , и вы можете удвоить число начальных цифр log 2 log n раз.
Что касается другого аспекта вопроса, то да, O ( a -й корень n ) может быть допустимым классом сложности для некоторой константы a . Это было бы более привычно записано как O ( n 1 / a ) .