>>901
N=max{a1,a2,a3,a4}ですよ。
つまり、「命題になっていない」ですね。