Posts for October 2026

Also available in:

12-10-2026Challenge 23: The constant sequence aₙ = L converges to L
10-10-2026Lean 4 for mathematicians: a teacher's guide
05-10-2026Challenge 22: Subsequences with different limits imply non-convergence