В последовательности чётных чисел остатки от деления на 16 (считая для наглядности, что 0=16) расположены в таком порядке:
2, 4, 2, 8, 2, 4, 2, 16, 2, 4, 2, 8, 2, 4, 2, 16, 2, 4, 2, 8, 2, 4, 2, 16, ...
Если в пятёрке подряд идущих чисел два чётных, то одно из них обязательно делится на 16 (поскольку каждое второе из чётных чисел делится только на 2). Имеем два варианта: (16, 2) и (2, 16), т.е.
или
, т.е.
.
Если чётных чисел три, то одно из них обязано делиться на 8: (8, 2, 4), (2, 8, 2) и (4, 2, 8), т.е.
,
или
(естественно,
может фактически оказаться и
). Другими словами,
или
. Последний вариант можно упростить до
(
получается при
и
-- при
).
Итого:
,
или
.