Prove The Correctness Of The Binary Search Algorithm Using Mathematical Induction