Question about the proof for peak finding