I know there are quite a bunch of questions about big O notation, I have already checked:
When applying a divide-and-conquer algorithm where you partition the problem into sub-problems until it is so simple that it is trivial, if the partitioning goes well, the size of each sub-problem is n/2 or thereabout. This is often the origin of the log(n)
that crops up in big-O complexity: O(log(n))
is the number of recursive calls needed when partitioning goes well.