Abstract

We present a generalized and sharp version of Shafer's inequality
for the inverse tangent function and a new lower bound of Carlson's inequality
by means of a third order estimate of the inverse cosine function.