User blog comment:KthulhuHimself/Norminals Revisited./@comment-25601061-20160203001709

The Nihillis function  ] N[ 0 (n) is ill-defined, the case of  ] N[ 0 (n) doesn't specify n, and even if it would, it would not terminate, because it's on a loop.