bound works between polynomials, works ok for low degrees