max(i64) <= i
