doi: 10.5281/zenodo.20535135
Monotonicity Properties of the real part of an integral representation of the Xi function. This version establishes the framework and all key lemmas; the final step will appear in a subsequent revision.