Exploración de las condiciones límite teóricas en el análisis de algoritmos