http://www.sosmath.com/algebra/factor/fac11/fac11.html
The second way is a much nicer one. We notice that
is
, so we know for
that
is bigger than
, so we check
and we get: 970398 which is smaller
than
. So we have the answer:
is the first
for
which
is bigger than
.
The next thing we have to prove is that
is always
divisible by 6. This we will prove by using modular arithmetic. We
will use modulus 6. For each
, we can have a residue of either:
0,1,2,3,4 or 5. For
we get the following residues:
0,1,2,3,4,5 respectively (to
). For
we get the following
residues:
respectively (to
).
Combining
and
(respectively) we get a 0 residue,
because: 0+0=0 (mod 6), 1+5=6=0 (mod 6), 2+4=6=0 (mod 6), 3+3=6=0
(mod 6), 4+2=6=0 (mod 6), 5+1=6=0 (mod 6). This means that we get
a zero residue when dividing by 6, or in other words,
is a multiple of 6 or 6 divides
.