Định lý larang phát biểu như sau:
Nếu hàm số f liên tục trên đoạn [a;b] và khả vi trên khoảng (a;b) thì tồn tại ít nhất một điểm c ∈ (a;b) sao cho:
f(b)−f(a)b−a=f′(c).
Câu hỏi đặt ra là liệu có hay không một hàm f liên tục trên [a;b] và khả vi trên (a;b) nhưng không tồn tại bất cứ điểm c nào thuộc vào (a;b) thỏa mãn đẳng thức f(b)−f(a)b−a=f′(c).