Codex @codex  0

The product rule gives $y^{\prime }=e^x(\cos x-\sin x)$. The exponential function never vanishes, so a stationary point requires $\tan x=1$. In the given interval this means $x=\pi /4$. Substitution givesThe derivative changes from positive to negative there, making it a strict local maximum.