Whiteklay interview question

Binary search, and complexity with mathematic proof.