Is a divergent series of non-negative terms always diverging to infinity? We are basically given that 
Our infinite series $\sum a_n$ diverges and $a_n$ is non-negative for each $n$.Does $\sum a_n=+\infty$?
My guess is that since the sequence of partial sums is increasing and divergent, we can conclude by contra-positive statement of Monotone convergence theorem that the sequence of partial sums of $\sum a_n$ is unbounded.
Since every unbounded increasing sequence is properly divergent, our sequence of partial sums shall diverge to $\infty$ and our series shall diverge to $\infty$.
 A: More or less correct. But that is called an informal proof, not formal. People who already know how to prove the theorem will understand your explanation, but people who do not will not.
A formal proof would go something like:
$\def\nn{\mathbb{N}}$
$\def\rr{\mathbb{R}}$
[Assume that $(a_n)_{n\in\nn}$ is a sequence of real numbers, since it was not stated in the question.]
Let $b_n = \sum_{i=0}^n$, for any $n \in \nn$.
Given any $n\in\nn$:
  $b_{n+1} \ge b_n$ because ...
Therefore $(b_n)_{n\in\nn}$ is increasing.
If $(b_n)_{n\in\nn}$ is bounded above:
  $(b_n)_{n\in\nn}$ has a limit by ... theorem.
  Thus $\sum_{i=0}^\infty$ converges by definition of infinite series.
  Contradiction.
Therefore $(b_n)_{n\in\nn}$ is not bounded above.
Given any $m \in \rr$:
  Let $k \in \nn$ such that $b_k > m$ by definition of boundedness.
  Then $b_n \ge b_k$ for any $n \in \nn_{\ge k}$ because $(b_n)_{n\in\nn}$ is increasing.
  Thus $b_n > m$ for any $n \in \nn_{\ge k}$.
Therefore $(b_n)_{n\in\nn}$ converges to $\infty$ by definition of infinite limit.
Therefore ...
A: I don't think you really need a contradiction to prove this: having observed  the sequence of partial sums $ b_n=\sum_{i=0}^n a_n$ is non-decreasing, 


*

*Either $ (b_n) $ is  bounded, and it converges by the monotone convergence theorem.

*Or it is unbounded, i.e. for any $A$ there exists a  rank $N$ such that $b_N\ge A$. As the sequence is non-decreasing, for all $n\ge N$, $b_n\ge b_N\ge A$, which is the very definition of divergence to $\infty$.

