User:NeonMerlin/sandbox

2⌈log2(n + O(1))⌉