But the Riemann integral is kind of the most mainstream formal or I would say rigorous definition of what an integral is. So as you can imagine, this is one instance of a Riemann sum. We have n right over here. The larger n is, the better an approximation it's going to be. So his definition of an integral, which is the actual area under the curve, or his definition of a definite integral, which is the actual area under a curve between a and b, is to take this Riemann sum, it doesn't have to be this one, take any Riemann sum, and take the limit as n approaches infinity. So just to be clear, what's happening when n approaches infinity? Let me draw another diagram here.