insert correcteness of binary search algorithm