>>538
x→5-0の意味としてはx<5じゃん。
ということは3でもいんじゃないんですか?