>>641
どう違うか理解してるの？

結論を言えば、後者のn_0の最大値をとれば前者も成り立つが。