IVT: show that x^3 - x - 1 = 0 has a root in (1, 2)