∫_a^b f dx = limit of Riemann sums Σ f(x_i*)Δx_i as the partition is refined, provided the limit exists.