Encuentra la solución entera positiva más pequeña (distinta de cero) para las siguientes desigualdades:
$a_1
Bajo las siguientes restricciones
$a_1 \neq a_2 \neq a_3 \neq a_4, b_1 \neq b_2 \neq b_3 \neq b_4, c_1 \neq c_2 \neq c_3 \neq c_4, d_1 \neq d_2$
¿Existe algún método para resolver este tipo de desigualdades?