EDB — 07X

Exercises

1. [07X] Prerequisites:[08Z]↺↻.(Solved on 2023-01-17) (Proposed on 2022-12) Let $X$ be totally ordered set. Show that these are equivalent:

   1. $X$ is well ordered;

   2. there are no strictly decreasing functions $f:\mathbb{N}\to X$.

   (This is a special case of [263]↺↻)