Definite integral basics challenge