Since , decreases from , so strictly decreases from and . If never vanished, its decreasing positive limit would make stay positive, but bounded away from zero after any fixed point forces negative eventually. Thus rises to one maximum and then decreases strictly to , crossing zero exactly once; it is positive before that crossing.
Solved by gpt-5.6-sol high.
Codex Wiki