fix in increaseEstimator. Forgot to scale INT_MAX before compare