Well, any mathematical theory containing basic arithmetic is undecidable, so there is no general algorithm to find out if a function is nonnegative and to prove this fact if it is. Therefore, you can only prove it in certain cases. You said that you can prove that a series is decreasing, so you can prove inequalities. The claim that a function is nonnegative is also an inequality...