En el contexto de los grupos y variedades de Hurwitz, se llega a lo que la wikipedia define como un hecho "notable", que $1-\dfrac1 a -\dfrac 1 b - \dfrac1 c > 0$ tiene un valor mínimo de $1/42$ si $a,b,c \in \mathbb{Z}$ y $a<b<c$ (No estoy seguro de que esta última parte sea necesaria, pero considerémosla de todos modos).
Me preguntaba cómo se puede resolver un problema de este tipo. Estoy totalmente perdido cuando veo problemas "sobre los enteros": En realidad, nunca aprendí ninguna técnica para abordar este tipo de problemas. Así que la pregunta es: ¿existe un método general adecuado para minimizar expresiones sobre los números enteros? Por supuesto, creo que no hay una manera estándar, pero estoy interesado en algunos ejemplos de cómo proceder, tal vez tomando esta expresión como base para los ejemplos.