Um, isn't that "constant-time in practice"? (Something like log-star.) Am I missing some matter of convention here?