Let be a function from a finite set to itself. A drifting subset for is a subset of such that the number of elements in the union is equal to twice the number of elements of . We write for the maximal number of elements among all drifting subsets for .
For a positive integer , define as the function from to itself sending to . You are given and .