For a given simple (that is neither loops nor multiple edges are allowed) undirected graph, where $m$ is the number of edges and $n$ is the number of vertices that the following inequality holds.
$$n-1 \leq m \leq \frac{n(n-1)}{2}$$
Now, I have proved this myself, but I'm not sure that it would be considered a "formal", rigorous proof.
Basically I said the following. Consider a complete graph, we have the extreme case where every node is connected to eachother. So supposing we have the complete graph $K_4$ as shown below, then this should be the extreme case and the inequality is satisfied, there the middle and right-most terms are equal. Therefore the inequality should hold for less extreme simple graphs as well.

Hint:
I hope this helps $\ddot\smile$