So maybe... %C A002088 For n >= 1, number of subsets of {0,...,n-1}that form a prefix of a Beatty sequence. Is there a better way to say this?