Let Φ be the classical Jacobi-theta kernel in the Fourier representation of the Riemann Ξ-function, set s(t)=Φ(t)
Nearby in the stack
, and define the first Laguerre expression
f(t)=s′(t)2−s(t)s′′(t)
. Csordas and Dimitrov (2000) conjectured that
logf
is strictly concave on
(0,∞)
; Csordas (2015) later restated the assertion as Open Problem 4.14. We prove the conjecture by two complementary methods, sharing only a local certificate near the modular fixed point. The first proof is a direct theta-series argument: a directed-rounding Taylor certificate near
t=0
is joined to a dominant-first-summand estimate with rigorous theta-tail bounds. The second proof uses Jacobi's nonlinear third-order differential equation for
θ3
to obtain a three-dimensional autonomous phase space, a sharp elliptic monotonicity theorem, and an exact quartic reduction of the target inequality. The quartic boundary is a polynomial shear of the quadratic cone
XY=Z2
. A directed interval certificate proves that every possible cone contact on the only remaining compact interval points strictly into the desired region; beyond that interval a pointwise monotonicity theorem closes the argument. The finite certificates and exact symbolic checks are supplied as reproducible scripts. The result implies the associated double Turán inequalities through the theorem of Csordas--Dimitrov, but no assertion of the Riemann Hypothesis is made.