talk:>>94 平均値の定理には微分可能性の前提があるはずだが。