<s>[INST] prove that $\frac{a_1+a_2+\dots+a_m}{m}\ge \frac{n+1}{2}$ Let $m$ and $n$ be positive integers. Let $a_1, a_2,\dots, a_m$ be distinct elements of $\{1, 2, \ldots, n\}$ such that whenever $a_i + a_j \le n$ for some $i,j, 1 \le i \le j \le m$, there exists $k, 1 \le k \le m$, with $a_i + a_j = a_k$. Prove that
$$\frac{a_1+a_2+\dots+a_m}{m}\ge \frac{n+1}{2}$$
Trial: I am thinking using AM$\ge$GM or $1+2+\dots+n= \frac{n(n+1)}{2}$. But unable to fully solve the problem.
 [/INST] Using Induction
If $m=1$ then $a_1\ge \dfrac{n+1}2$
Assume for $m=m$ we have $\dfrac{a_1+a_2+\dots+a_m}{m}\ge \dfrac{n+1}{2}$
Now try to prove the inequality for $m=m+1$
We have
\begin{align*}
\frac{a_1+a_2+\dots+a_m+a_{m+1}}{m+1}&\ge \frac{\dfrac{m(n+1)}2+a_{m+1}}{m+1}\\
&\ge\frac{m}{m+1}. \frac{n+1}{2}+\frac{a_{m+1}}{m+1}\\
&\ge\frac{m}{m+1}. \frac{n+1}{2}+\frac{1}{m+1}\cdot\frac{n+1}{2} =\frac{n+1}2
\end{align*}
</s>