definite integral from 0 to 3 of