Define F(n) as the minimum number of tokens in Pure Factor (A version of Factor where the only syntax is [, and only uses words that are in kernel and deal with only quotations, such as dip and keep, and call has its restrictions removed) required to put n elements on the stack.

Let the number in this post be the minimum n where F(n) = 10^100.

comments

F(n) <= floor(n/4) + 3 (except for n = 3) because of [] dup 2dup 4dup 4dup 4dup ...