= Solution
Assume the <equilibrium> in part (a) is strictly positive and start with all four species positive. Choose weights recursively by $w_{i+1}=w_ia_i/b_i$ and define
$$
V=\sum_{i=1}^4w_i\bigl[X_i-X_{i*}-X_{i*}\log(X_i/X_{i*})\bigr].
$$
The weighted interaction <matrix> is <skew-symmetric matrix>: for every adjacent pair $w_ia_i=w_{i+1}b_i$. On differentiating $V$, the <equilibrium> removes the constant growth terms, while paired products cancel. Thus $\dot V=0$. Each summand is nonnegative and diverges as its positive argument approaches zero or infinity. A fixed level of $V$ therefore bounds every abundance above and away from zero. This proves genuine persistence of all four species, although their dynamics need not converge to a fixed point.
Integrate each per-capita equation over $[0,T]$ and divide by $T$. Since $\log X_i(T)$ is bounded, the left side tends to zero. Writing $\overline X_i(T)=T^{-1}\int_0^TX_i(t)\,dt$, the limiting balances give
$$
\boxed{\lim_{T\to\infty}\overline X_i(T)=X_{i*}\quad(i=1,2,3,4),}
$$
with the explicit abundances listed in part (a). The limit exists because the invertible four-level interaction <matrix> solves the averaged linear equations, whose residuals tend to zero. Periodicity or an ergodic assumption is not needed.
The same proof works for any even nearest-neighbor chain with a feasible positive <equilibrium>. It does not make all even-chain parameters feasible. Odd chains generically lack the required positive balance, and in their exceptional balanced cases the averaged equations do not uniquely fix every abundance. Resource density dependence and more general feeding interactions alter both the conservation law and the simple parity classification. \b[Coexistence and the stated <mean> abundances hold under positivity of the <equilibrium>, not as an unconditional rule for every <food chain>.]
Back to article page
