dedekind number

he following is an approximation of dedekind numbers.

the number of monotone functions $\text{[math]}$ is larger than $\text{[math]}$ where $\text{[math]}$ is larger than $\text{[math]}$ for some constant $\text{[math]}$ .
[cite:;taken from @complexity_wegener_2009 proposition 5.1]