On precise constants in an inequality for the modulus of the derivative and on the best approximations of the differentiation functional at the point of a segment