Este team especializado pasados algunos días de trabajo y de recopilar de datos, dieron con los datos necesarios, esperamos que te sea útil en tu plan.
Solución:
Para la primera pregunta: puedes usar ForAll (como usó $forall$!) también en Mathematica. Una vez que haya adquirido una región, puede minimizar el argumento restringido en ella:
ArgMin[n,
Resolve[ForAll[m, m >= n && Element[n, Integers],
m^2 0.2 (1 - 0.2^2)^m < 1 && m > 0]], n]
227
Si observa detenidamente la declaración anterior, puede notar que no es exactamente igual a la pregunta original: requiere todos los valores reales de m mayor o igual a entero n para satisfacer la desigualdad, no sólo todos los valores enteros de m… bueno, parece Resolve maneja esto bien, pero no puede hacer el mismo razonamiento cuando m está restringida a números enteros.
No sé una respuesta a la segunda pregunta.
Comentarios y puntuaciones
Si estás contento con lo expuesto, eres capaz de dejar una noticia acerca de qué le añadirías a este ensayo.