n=1のときp_n=2, p_(n+1)=3
明らかに1=p_(n+1)-p_n≧log(p_n)=log2だからiiの条件を満たす
高木によるとp_(n+1)=3のとりうる値の集合の下限がp_n+log(p_n)=2+log2なのは誰でも分かることなので、
高木数学においては3=2+log2が成立する