Let
.
This is equivalent to the number of trailing zeros when
is written
in binary.
-
,
-
,
-
,
-
,
-
,
-
,
-
,
-
,
Choose
so that
and
.
Choose
so that
and
.
Then
and
, so
.