Sean $ a_1 \geq a_2 \geq a_3 \in \mathbb{Z}^+$ dados y sea N $ (a_1, a_2, a_3)$ el número de soluciones $ (x_1, x_2, x_3)$ de la ecuación \[ \sum^3_{k=1} \frac{a_k}{x_k} = 1.\] donde $ x_1, x_2,$ y $ x_3$ son enteros positivos. Demuestra que \[ N(a_1, a_2, a_3) \leq 6 a_1 a_2 (3 + ln(2 a_1)).\]