If we multiply by 0 the result would be 0 and hence integer<3, what am i missing here?
0 is not positive.
