Definite integrals intro