Pruebe que existe algún número real positivo $\lambda$ tal que para cualquier $D_{>1}\in\mathbb{R}$ , siempre se puede encontrar un triángulo acutángulo $\triangle ABC$ en el plano cartesiano tal que $A, B, C$ están en puntos reticulares; $AB, BC, CA>D$ ; $S_{\triangle ABC}<\frac{\sqrt 3}{4}D^2+\lambda\cdot D^{4/5}$ .