Problem . . .
1D Numerical Definite Integration With Accuracy Bound
Header . . .
Body . . .
Input . . .
F ∈ R → R
x ∈ x
a ∈ R
b ∈ R
e ∈ R
Output . . .
I ∈ R
E ∈ R
Post-Condition . . .
E < e
lt ⁡ ( | I - ∫ a b f ⁡ ( x ) d x | , E )