# Section 3.3: Problem 6 Solution

Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.

James R. Munkres

Is
a sequence number? What is
? Find
and
.

is not a sequence number, as
divides
but
does not divide
. However, formally, we can still calculate the formulas in the question.

First, formally,
is defined as the least
such that either
or
where
is the divisibility relation. In our case,
, so that
.

Second, formally,
is defined as the least
such that either
or
. In our case,
for all
(including
for which
).

Finally,
is defined for all natural numbers as well. In particular, since
,
which is simply the maximum sequence number that divides
. Therefore,
and
(
is a sequence number). Further,
. Hence,
.

Note. The exercise shows that the concatenation operation, as defined, is not associative on the set of all natural numbers, however, as mentioned in the text, it is associative on the set of sequence numbers.