Tài liệu Giải tích cơ bản phần iv

Cho ƒ là một hàm số thực, liên tục trên một đoạn [a, b]. Hàm F xác định với mọi x thuộc [a, b] bởi công thức:
Khi đó, F liên tục trên đoạn [a, b], khả vi trên khoảng mở(a, b), và
với mọi x thuộc (a, b).