Solution: We compute the sequence step by step using the definition of $ F(n) = n - rac{n^2}{2} $.