Show that the equation $ln(1+e^x) = cos(x)$ has infinitely many negative solutions. Is there a positive solution? Is it unique?
Show that the equation $ln(1+e^x) = cos(x)$ has infinitely many negative solutions. Is there a positive solution? Is it unique?
Note that $x<0$ implies $0<\ln(1+e^x)<1$.