Estimates related to Shirshov height theorem (PhD Thesis)

In 1993 E. I. Zelmanov asked the following question in Dniester Notebook: $"$Suppose that $F_{2,m}$ is a $2$-generated associative ring with the identity $x^m=0$. Is it true, that the nilpotency degree of $F_{2,m}$ has exponential growth?$"$ We show that the nilpotency degree of $l$-generated associative algebra with the identity $x^d=0$ is smaller than $\Psi(d,d,l)$, where $\Phi(n,d,l)=l(nd)^{C\log(nd)}$ and $C$ is a constant. We give the definitive answer to E. I. Zelmanov by this result. It is the consequence of one fact, which is based on combinatorics of words. Let $l$, $n$ and $d\ge n$ be positive integers. Then all the words over alphabet of cardinality $l$ which length is greater than $\Psi(n,d,l)$ are either $n$-divided or contain $d$-th power of subword, where a word $W$ is $n$-divided, if it can be represented in the following form $W=W_0W_1\dots W_n$ such that $W_n\succ W_{n-1}\succ\cdots\succ W_1$. The symbol $\succ$ means lexicographical order here. A. I. Shirshov proved that the set of non $n$-divided words over alphabet of cardinality $l$ has bounded height $h$ over the set $Y$ consisting of all the words of degree $<n$. Original Shirshov's estimation was just recursive, in 1982 double exponent was obtained by A. G. Kolotov and in 1993 A. Ya. Belov obtained exponential estimation. We show, that $h<\Phi(n,l)$, where $\Phi(n,l)=n^{C\log n} l$ and $C$ is a constant. Our proof uses Latyshev idea of Dilworth theorem application.