mathlesstraveled.com
MaBloWriMo 6: The Proof Begins
Today we’re going to start in on proving the Lucas-Lehmer test. Yesterday we saw how, given a Mersenne number $latex M_n = 2^n – 1$, we can define a sequence of integers $latex s_0, s_1, \dot…