Optimal Algorithmic Approach
Binary search comparing mid to right boundary to detect rotation.
Core Invariants & Edge Cases
- The minimum is the inflection point where nums[mid] > nums[right]
- If nums[mid] < nums[right]: minimum is in [left, mid]
- Continue binary search until left == right