No, no, I've been thinking about this all wrong

[sniffnoy]

What I've really done, is classified which numbers can be made with k+1 1s, that are higher than any number that can be made with k 1s.