Problema del infinito ==

Cuando x -gt; 1/x gt 0, | 1/x 2 | = 1/x 2 gt; lt; 0, -1/x gt; 0, | 1/x 2 | = -1/x - 2 gt; 1/x -2

Sin reducir los valores intermedios, se convierte en 0lt; 1/2 0lt; Además, cuando se implementan problemas matemáticos en la programación informática, existe mucho rigor y automatización formal, lo que se refleja en el proceso de formalización de la demostración.