superincreasing
not defined yet