x*arctan(e^x) = c  con c= parametro reale.

Bisogna valutare quante soluzioni ha l'equazione al variare del parametro reale.
Risolvendo i limiti per x-&gt; +/- oo, ho trovato che la funzione va ad infinito per x tendente a +infinito, mentre va a 0- per x tendente a meno infinito.
La funzione vale 0 per x=0 e la derivata prima calcolata in questo punto è maggiore di zero, quindi nel grafico avrò che proprio in zero la funzione attraverserà l'asse x per passare a valori negativi e per poi tendere nuovamente a zero per x-&gt; -oo
Sempre considerando la derivata prima della funzione, posso facilmente dimostrare che per x&gt;0 quest'ultima è sempre positiva. Ne deduco che non si annulli mai e che la funzione sia monotona crescente  nel primo quadrante.
Per le informazioni ricavate fino ad ora sul grafico mi aspetterei di trovare un punto di minimo per un valore di x negativo.
Ma non riesco a ricavarlo in nessun modo...
Come faccio a dimostrare quindi che esistono dei valori per x&lt;0  per cui la funzione ha almeno due soluzioni e che oltre un certo valore (non noto) la funzione non ha nessuna soluzione?