What can be proved if the conjecture that

Mn+1/Mn <=2 and lim[(Mn+1/Mn)=1] as n->infinite

is assumed to be true?

Q. In particular, does this conjecture prove Shanks in [2], the "Cramér's
model"[3], or something else?

See the definition of Mn
in the mentioned page.