Show that f(x) = e^x - x^(100) has two roots in R^+