The sequence is "almost" constant. Let's bound from below by replacing by in the first term and by in the second one (after the minus sign): we get . However, we have so that this lower bound is slightly too strong, but if we had a positive factor instead in front of (no matter how small), this would be right. Then, to bound the first term, it suffices to consider the indices where and (you can bound the terms with other indices by 0 thanks to the previous computation). There are about such couples , and for each of them the summand is greater than , which is strictly greater than . We get that for some positive . Choosing for instance, you easily see that this is unbounded from above.