\[\operatorname{arctan}x\leq\tfrac{1}{2}\pi\tanh x,\]