符合下列属性的数组 a 称为 山峰数组（山脉数组） ：
- a 的元素个数 n >= 3
- 存在 i（0 < i < n - 1）使得：
- a[0] < a[1] < ... a[i-1] < a[i]
- a[i] > a[i+1] > ... > a[n - 1]
给定由整数组成的山峰数组 a ，返回任何满足 a[0] < a[1] < ... a[i - 1] < a[i] > a[i + 1] > ... > a[n - 1] 的下标 i ，即山峰顶部。
你必须设计一个时间复杂度为 O(log n) 的算法解决此问题。