Update Ex_3.1_binsearch-2.rst