>>646
無限個の整数の積は定義できないから
f: N^N→N
がwell-definedじゃない。