4000

4000 is the smallest positive number with disputed.