✏️ Explanatory Question
[Computational Complexity and Big-O Notation]
Question:
Finding the greatest common divisor (GCD) of two positive integers results in the time complexity of O(log N), where N is the larger number of two inputs. Justify the statement.