e^x > 5 + ln(x)