Binary search isn't about search II. Loop invariant of leftmost element search | Hacker News Reader