This is still related to my project about proper divisors.
We know about these Mersenne numbers.
A Mersene number written M(n) = 2^n - 1.
n M(n)
0 0
1 1
2 3
3 7
2 15
Since M(0) = 0 and
M(n) = 2*M(n-1) + 1. (expression 1)
we have an expression that fits the data.
This is Matt's recursive observation.
By observation, it is valid.
(But not a theorem)
Woo Hoo This is fun.
Regards,
Matt