On a conjecture of Faulhuber and Steinerberger on the logarithmic derivative of ϑ4

Faulhuber et Steinerberger ont conjecturé que la dérivée logarithmique de ϑ4 possède la propriété selon laquelle y2ϑ4′(y)/ϑ4(y) est strictement décroissant et strictement convexe. Dans cette courte note, nous démontrons cette conjecture.