A Finite Certificate for the Positive $n=9$ Vasc Inequality

Dakai Guo, Ruichen Qiu, Yichuan Cao +1

We prove the positive-real $n=9$ case of the Vasc cyclic inequality. The proof was obtained with human-guided assistance from the AI agent MechMath Agent Team: the human-readable p…