アルゴリズムに全くついていけず苦戦しています。

設問1ですが、解答はウのnum>1、とあります。

プログラムの説明でnum≧1とあるので、これが正解となると考えました。
解説を読んでも、空欄に入れる条件式が「プログラムの終了条件」であること自体、ピンときません。
この空欄は、numの値の範囲を示すものではないのでしょうか？
どのようにしてそれらを見分けたらよいのか教えて下さい。

(2)：Sortの説明①の終わりに、
＞この再帰的な呼出しは，引数で渡される配列 list のデー夕の個数が1になると終了する。
と書いてあります。これを条件式 Num>1 で判断します。真の時はプログラム継続、偽になった時（今回は、Numが1）終わりになり、呼び出した元へ戻ります。