http://imepita.jp/20100129/082690

ですが場合分けするときに
0>kが必要ないのは何故でしょうか?