Report Number: CS-TR-70-184
Institution: Stanford University, Department of Computer Science
Title: A note on a conjecture of L. J. Mordell
Author: Malcolm, Michael A.
Date: November 1970
Abstract: A computer proof is described for a previously unsolved problem concerning the inequality $\sum{i=1}{n} x_i/(x_{i+1}\ + x_{i+2}) \geq\ frac{n}{2}$.
http://i.stanford.edu/pub/cstr/reports/cs/tr/70/184/CS-TR-70-184.pdf