Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 204 / 1 / a / Solution

Splitting any $(m+n)$-step self-avoiding walk after $m$ steps and translating its remaining segment to the origin injects it into an ordered pair of an $m$-step and an $n$-step self-avoiding walk. Hence $b_{m+n}\le b_m{b}_n$. The sequence $a_n=\log b_n$ is subadditive, so the Fekete lemma givesExponentiating proves existence of the connective constant $\kappa ={\lim }_n{b}_n^{1/n}$.