Python Tricks #14 - Binary search is faster than linear