For each integer , we determine a sharp bound on such that can be partitioned into sets and , where is an independent set and is a forest in which each component has at most k vertices. For each we construct an infinite family of examples showing our result is best …