Dimostrare che l'equazione[br][math]arctg\left(x\right)+x^3+e^x=0[/math][br]ha una e una sola soluzione reale.