A peak is any element bigger than its neighbors. At each midpoint, if the value drops off to the right then a peak sits at mid or to its left, so search left; if it rises to the right, a peak must lie further right. Binary search lands on one such peak.