Estoy interesado en esta pregunta porque se trata de una broma de mal gusto sobre las personas en su primer.
Parece que funciona para los primeros 20 números:
4 es el promedio de 5 y 3.
6 es la media de 5 y 7.
8 es la media de 5 y 11.
$\vdots$
16 es el promedio de 13 y 19.
$\vdots$
No sería difícil escribir un programa que comprueba más casos, pero sospecho que la hipótesis es verdadera. Si es el caso, se necesita un enfoque más matemático.