not (i64 >= max(i))
