まず自然数 "i" で添字付けられた関数族 "ei" を導入する。