Let $a_1$, $a_2$, $a_3$, $a_4$, $a_5$ be real numbers whose sum is $20$. Determine with proof the smallest possible value of \[ \displaystyle\sum_{1\le i \le j \le 5} \lfloor a_i + a_j \rfloor. \]

Let's think step by step and output the final answer within \boxed{}.
user