Use the mean value theorem to show that (x-1)/(tan⁻¹x(x²+1))≤ln((4)/( π ))tan⁻¹x≤(2(x-1))/( π ) for x≥1?