User blog comment:KthulhuHimself/Library Function/@comment-25601061-20151108234006/@comment-27014275-20151109064116

Lib(0) is not defined. Because no numbers are definable in 0 symbols, Lib(n) should be the smallest number larger than no number, meaning it's minus infinity, or something.

I've defined (with the help of Vel!) that the "last blank" cannot be the first or last symbol, so that rends Lib(1) and Lib(2) meaningless.

As for Lib(3), it is equal to 10.

Keep the following in mind:

Lib(n) >= 10^n, for 3 > n > 21.

Lib(n) > 9!!!...!!! (with n-22 nested factorials), for: n > 22. (using: "! denotes factorial. 9!!!...")