Down arrow notation is an inverse of the Knuth up-arrow notation defined by e↓n | = | ln n e↓↓n | = | ln^* n e↓↓↓n | = | ln^** n, where ln^* n is the number of times the natural logarithm must be iterated to obtain a value <=e.
We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.