### A computer proof of Turán's inequality.

Skip to main content (access key 's'),
Skip to navigation (access key 'n'),
Accessibility information (access key '0')

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.