λN.λx.
{
  fact ← [(*)/ₒ 1 (𝒻 1 x (⌊x))];
  iix ← irange 0 N 1;
  mkIx ← λn. (x^n)%(fact (ℝn));
  (+)/ₒ 0 (mkIx'iix)
}