By assumption there exists a sequence of finite hypercube graphs \((C_{n})_{n \in \mathbb{N}}\), each equipped with the standard graph metric, and a coarse embedding function \(f:(X, d) \to (C, d_{C})\). We assume that each \(C_{n}\) is minimal in size and we let \(d_{C}\) be such that \(d(C_{i}, C_{j}) = \text{diam}(C_{i}) + \text{diam}(C_{j}) + i + j\). We will build \((B, d_{B})\) where \((B_{n})_{n \in \mathbb{N}}\) is a sequence of hypercubes, \(d_{B}\) when restricted to each cube is the standard graph metric, and \(d_{B}(B_{i}, B_{j}) = d(X_{i}, X_{j})\). To build \((B_{n})_{n \in \mathbb{N}}\) we use Hamming encoding of the vertices of the hypercubes \((C_{n})_{n \in \mathbb{N}}\). For all \(n \in \mathbb{N}\), denote by \(C_{n_{1}},C_{n_{2}},\ldots,C_{n_{m}}\) the hypercubes in \(C\) such that \(f(X_{n}) \cap C_{n_{i}}\neq \emptyset\). Let \begin{equation*} k = \sum_{j=1}^m 2\cdot\text{diam}(C_{n_{j}}) + j \end{equation*} and define \(B_{n}\) to be the hypercube on \(2^k\) vertices. Let \(x \in X_{n}\) and \(f(x) \in C_{n_{i}}\). We define \(g:(X, d) \to (B, d_{B})\) by defining the Hamming encoding of \(g(x)\) in \(B_{n}\). In words, \(g\) maps \(x\) to a vertex in \(B_{n}\) for which the only nonzero bits of \(h(g(x))\) are a string of ones with length equal to \(\text{diam}(C_{n_{i}}) + n_{i}\) immediately followed by the Hamming encoding of \(f(x)\) in \(C_{n_{i}}\). The number of zeros preceding the string of ones is long enough so that, for \(x,y \in X_{n}\), if \(f(x) \in C_{n_{i}}\) and \(f(y) \in C_{n_{j\neq i}}\) then \(g(x)\) and \(g(y)\) can not share a nonzero bit. Explicitly, for each \(i \in \{ 1,\ldots,m \}\), let \(k_{i}' = \sum_{j=1}^{i-1} 2\cdot\text{diam}(C_{n_{j}})+j\). Then \(g\) maps \(x\) to \begin{align*} g(x)_{j} = \begin{cases} 0 & j \leq k_{i}'\\ 1 & k_{i}' < j \leq k_{i}' + \text{diam} (C_{n_{i}}) + n_{i} \\ h(f(x))_{j - k_{i}' - \text{diam} (C_{n_{i}}) - n_{i}} & k_{i}' + \text{diam} (C_{n_{i}}) + n_i < j \leq k_{i}' + 2\text{diam} (C_{n_{i}}) + n_{i} \\ 0 & \text{else.} \end{cases} \end{align*} \begin{figure}[ht] \centering \includegraphics[width=0.65\textwidth]{rp-coarse-geometry-fig-1.pdf} \caption{ Example of the Hamming encoding of \(g(x)\) and \(g(y)\) given \(f(x) \in C_{n_{i}}\) and \(f(y) \in C_{n_{j}}\). The encodings share no nonzero bits and the number of bits that differ is at least \(\text{diam}(C_{n_{j}}) + n_{j} + \text{diam}(C_{n_{i}}) + n_{i}\) and at most \(2\cdot\text{diam}(C_{n_{j}}) + n_{j} + 2\cdot\text{diam}(C_{n_{i}}) + n_{i}\). } \label{fig:fig1} \end{figure} By construction, if \(x,y \in X_{n}\) and \(f(x), f(y) \in C_{n_{i}}\) then \(d_{B}(g(x), g(y))\) is the number of bits that differ between \(h(f(x))\) and \(h(f(y))\), hence \(d_{B}(g(x), g(y)) = d_{C}(f(x),f(y))\). If \(x,y \in X_{n}\), \(f(x) \in C_{n_{i}}\), and \(f(y) \in C_{n_{j}}\) with \(i\neq j\), then \(g(x)\) and \(g(y)\) differ in the bits that represent the encodings of \(\text{diam}(C_{n_{i}}) + n_{i}\) and \(\text{diam}(C_{n_{j}}) + n_{j}\). Further, if a bit in \(g(x)\) is nonzero and it is not in the encoding of \(\text{diam}(C_{n_{i}}) + n_{i}\) then it is the encoding of \(h(f(x))\) in which case the corresponding bit in \(g(y)\) is always a zero; the total number of bits for which this can be the case is \(\text{diam}(C_{n_{i}})\). Hence, the total number of bits which may differ between \(g(x)\) and \(g(y)\) is at most \(2\text{diam}(C_{n_{i}}) + 2\text{diam}(C_{n_{j}}) + n_{i} + n_{j}\). Thus, if \(x,y \in X_{n}\) then \begin{align*} \text{diam}(C_{n_{i}}) + \text{diam}(C{n_{j}}) + n_{i} + n_{j} &\leq d_{B}(g(x), g(y)) \leq 2\text{diam}(C_{n_{i}}) + 2\text{diam}(C_{n_{j}}) + n_{i} + n_{j}\\ \implies d_{C}(f(x),f(y)) &\leq d_{B}(g(x), g(y)) < 2d_{C}(f(x),f(y)) \end{align*} and if \(x \in X_{n}, y \in X_{m}, m\neq n\) then \(d(x,y) = d_{B}(g(x),g(y))\). We conclude that \((X,d)\) coarsely embeds into \((B,d_{B})\) and \(g(X_{n}) \subseteq B_{n}\) for all \(n \in \mathbb{N}\).