A computer proof of Turán's inequality.
The aim of this article is to give new refinements and sharpenings of Shafer's inequality involving the arctangent function. These are obtained by means of a change of variables, which makes the computations much easier than the classical approach.