Research & Projects | Brandon Deonarine

Independent Research · Submitted Manuscript · 2026

Brandon Deonarine · 2026

Submitted to The Ramanujan Journal · Technical checks in progress · Not accepted or peer reviewed

Addresses the nestedness conjecture proposed by Chanatip Sujsuntinukul and Christophe Chesneau, establishing the following stronger result.

Result

\begin{gathered} x,y,z>0,\qquad xyz=1,\\[0.45em] S_n(x,y,z)>0 \Longrightarrow S_{n+1}(x,y,z)>S_n(x,y,z)>0 \end{gathered}

Materials

The repository includes the compiled manuscript, reproducibility checks, exact symbolic and rational verification, and a Lean 4 formalization.

Projects