λN.
{
  sum ← λn.λN.λf. (+)/ 0 (f'1 (irange n N 1));
  fact ← [(*)/ 1 (frange 1 x (⌊x))];
  ix ← λn. 1%(fact (𝑖n));
  sum 0 N ix
}