The function $d$ defined in (0.3) may not be a metric unless \begin{equation} \phi_p(a_1,\dots, a_p)\le \phi_{p+1} (a_1,\dots, a_{p+1}),\quad \text{for all } (a_i)^{p+1}_1 \in \Gamma^{p+1},\ p=1,\dots.\tag{A} \end{equation} Let $$ \tilde\phi_p(a_1,\dots, a_p)=\max_{1\le i\le p}\phi_1 (a_1,\dots, a_i),\quad (a_i)^p_1\in\Gamma^p,\ p=1,\dots. $$ Then $\tilde\phi$ satisfies (A) and (0.1). Note that \begin{equation} \phi_p(a_1,\dots, a_p) \le\tilde\phi_p (a_1,\dots, a_p)\le p \max_{1\le i\le n} \phi_1(a_i).\tag{B} \end{equation} In (0.3) replace the equality $d(a,b)=e^{-\phi_p(a_1,\dots,a_p)}$ by $d(a,b)=e^{-\tilde\phi_p(a_1,\dots,a_p)}$. Then $d(a,b)\le \max(d(a,c), d(c,b))$. Let \begin{gather*} \tilde\psi_p(x):=\max_{1\le i\le p} \psi_i(x),\ x\in\Gamma^\infty,\quad \tilde\alpha_p(\mu) :=\int \tilde\psi_p\,d\mu,\ p=1, \dots\\ \tilde\alpha(\mu) :=\lim_{p\rightarrow\infty} \frac{\tilde\alpha_p(\mu)}{p}. \end{gather*} Then (B) yields $$ \lim_{p\rightarrow\infty} \frac{\psi_p(x)}{p} = s\Rightarrow \lim_{p\rightarrow\infty} \frac{\tilde\psi_p(x)}{p}=s. $$