Loading paper
Logarithmically complete monotonicity of reciprocal arctan function | Tomesphere