ce8f79dbb595dbb9.tex
1: \begin{proof}[Proof sketch]
2: After reading the proof of theorem \ref{thm:ztwolabeling} one can see how to generalize the proof for $d>2$ but at the same time it seems that writing a rigorous proof is rather complicated and tedious. The labeling of $\Z^d$ is spanned by its values on $\Z^{d-1}\times\{0\}\cup\Z^{d-1}\times\{-1\}$. We construct $\phi$ on the boundary of $[-n,n]^{d-1}$. For $d=2$ we added the rapidly increasing sequence in two points each step (the boundary of $[-n,n]$), for $d=3$ we introduce the sequence to the boundary of a rectangle and so on. Lets take $d=3$ as an example of how to continue. By introducing the rapid sequence on a rectangle boundary of one slice and a filling sequence on another slice we can extend $\phi$ to a pyramid shape by using the harmonic property. Now Each order of magnitude dominates a face of the pyramid, where again the equations are different for each vertex. Proving the difference of equations is the technical part to rigorize, but it is not hard for one to convince himself the construction works for all dimensions. The trick is to take the increasing sequence blow fast enough such that the increase will be fast enough to beat the polynomial number of elements of the lower magnitudes.
3: \end{proof}
4: