added error bound to get an overapproximation in all cases