超限帰納法とかではむしろこちらの形ばかり使う（＜だけど）から無問題。