How to show that a solution exists to a functions using IVT