Bueno, primero de todo, esta conjetura está implícita en la Erdos-Straus Conjetura $(\forall n>1, \frac{4}{n} = \frac{1}{a} + \frac{1}{b} + \frac{1}{c}$ algunos $(a,b,c) \in \mathbb{N}_*^3)$. Por lo que cualquier contraejemplos también debe ser contraejemplos de Erdos-Straus y por lo tanto muy poco probable.
Pero específicamente, cualquier contraejemplo debe tener $n \equiv 1 \mod 24$.
Además, $n \neq 0 \mod 5$ por razones obvias.
A continuación, si $n = 5k + 4$, tome $a = k+1, b = n*a$. (Ignoramos c y d, ya que siempre podemos sustituir b por b+1 y c = b*(b+1) y lo mismo para d.)
Si $n = 5k + 3$, tome $a = b = c = 3k+2$$d = n*a$.
Si $n = 5k + 2$, tome $a = b = 2k+1$$c = n*a$.
Así que nos quedamos con $n = 1 \mod 120$ como posibles contraejemplos.