>>302の証明で
j・N(m){1+2/1!+2^2/2!+...+2^(2^m)/(2^m)!} は整数
って言ってるけど、これ本当?