Solution
= 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}\leq b_mb_n$. The sequence $a_n=\log b_n$ is subadditive, so the <Fekete lemma> gives
$$
\lim_{n\to\infty}\frac{\log b_n}{n}=\inf_{n\geq1}\frac{\log b_n}{n}.
$$
Exponentiating proves existence of the <connective constant> $\kappa=\lim_nb_n^{1/n}$.