tangent function, double inequality, power series, remainder, Bernoulli number