O número de soluções inteiras da inequação é