A generalization of Hiraguchi's: Inequality for posets

For a poset X, Dim(X) is the smallest positive integer t for which X is isomorphic to a subposet of the cartesian product of t chains. Hiraguchi proved that if | X | ? 4, then Dim(X) ? | X |/2]. For each k ? 2, we define Dim_k(X) as the smallest positive integer t for which X is isomorphic to a subposet of the cartesian product of t chains, each of length k. We then prove that if | X | ? 5, Dim₃(X) ? {| X |/2} and if | X | ? 6, then Dim₄(X) ? | X |/2].