Binary search terminating condition: include the case where left==right in the loop. Because mid will exclude the index satisfying “==”.

Btw, ceil function from python return the upper integer of a float