Teorema del emparedado

Demostrar con Lean4 el teorema del emparedado.

Para ello, completar la siguiente teoría de Lean4:

Read More «Teorema del emparedado»

s ∩ (s ∪ t) = s

Demostrar con Lean4 que
\[ s ∩ (s ∪ t) = s \]

Para ello, completar la siguiente teoría de Lean4:

Read More «s ∩ (s ∪ t) = s»

Si uₙ y vₙ convergen a 0, entonces uₙvₙ converge a 0

Demostrar con Lean4 que si \(uₙ\) y \(vₙ\) convergen a \(0\), entonces \(uₙvₙ\) converge a \(0\).

Para ello, completar la siguiente teoría de Lean4:

Read More «Si uₙ y vₙ convergen a 0, entonces uₙvₙ converge a 0»

El límite de uₙ es a syss el de uₙ-a es 0

Demostrar con Lean4 que el límite de \(uₙ\) es \(a\) si, y sólo si, el de \(uₙ-a\) es \(0\).

Para ello, completar la siguiente teoría de Lean4:

Read More «El límite de uₙ es a syss el de uₙ-a es 0»

Si el límite de la sucesión uₙ es a y c ∈ ℝ, entonces el límite de cuₙ es ca

Demostrar con Lean4 que si el límite de la sucesión \(uₙ\) es \(a\) y \(c ∈ ℝ\), entonces el límite de \(cuₙ\) es \(ca\).

Para ello, completar la siguiente teoría de Lean4:

Read More «Si el límite de la sucesión uₙ es a y c ∈ ℝ, entonces el límite de cuₙ es ca»