>N(n)→自然数全体の集合、E(n)→偶数全体の集合
このあたりに穴がありそう。
集合に対する極限操作はどう定義してる？