An improved error bound on Gauss quadrature. (August 2016)