정적분의 정의 입니다. 정적분은 F'(x) = f(x) 일 때, (a~b)∫f(x)dx = F(b) - F(a) 라고 정의 합니다. 따라서, (a~x)∫f(t)dt = F(x) - F(a) 가 되며, 우변을 미분하면, F'(x) = f(x) 가 됩니다. p.s 늦은 답변 죄송합니다.