Assorted Rationals

The catch is that we cannot sort our original list s₁, s₂, s₃ ...

If we could, then the first element in the sorted list would be the smallest positive rational. No such animal exists. It turns out that the task of sorting an infinite list is "too difficult" to accomplish, even in theory.