q does not have the least upper bound property