polynomialy_bounded