Equality and strict upper-bound conjecture for the estimates of direct powers of free distributive lattices
Let g3∗(n)g_3^{\ast}(n)g3∗(n), g3∗∗(n)g_3^{\ast\ast}(n)g3∗∗(n), and gr(n)g_r(n)gr(n) be the functions defined earlier in the paper, and let N≥k={n∈N:n≥k}\mathbb{N}^{\geq k}=\{n\in\mathbb{N}:n\geq k\}N≥k={n∈N:n≥k}. Equality and strict…