https://123dok.net/document/y6emrvgz-formally-verified-approximations-of-definite-integrals.html