Trong bộ môn giải tích, một nguyên hàm của một hàm số thực cho trước f là một hàm F có đạo hàm bằng f, nghĩa là, F′ = f. Quá trình tìm nguyên hàm được gọi là tích phân bất định. Tìm một biểu thức cho nguyên hàm là công việc khó hơn so với việc tìm đạo hàm, và không phải luôn luôn thực hiện được.Tuy nhiên, bất kỳ hàm số liên tục trên đoạn hay khoảng từ giá trị a đến b, thì đều tồn tại nguyên hàm của hàm số đó trên đoạn/khoảng từ a đến b nêu trên.[1]Nguyên hàm được liên hệ với tích phân thông qua định lý cơ bản của giải tích, cung cấp một phương tiện tiện lợi để tính toán tích phân của nhiều hàm số.