Posts about Lean4Challenge
- Challenge 23: The constant sequence aₙ = L converges to L
- Challenge 22: Subsequences with different limits imply non-convergence
- Challenge 21: Subsequences have the same limit as the sequence
- Challenge 20: If aₙ → L and M is an upper bound of aₙ, then L ≤ M
- Challenge 19: Convergent sequences are Cauchy sequences
- Challenge 18: Convergence of the product of convergent sequences