read `GenBeukersZeta2.txt`:


gu:=Hopefuls1G():

print(`The next  theorem gives  a sketch of irrationality proof to a constant that  may not yet have an irrationality proofs`):

TheoremZ2g(op(gu[1]),2000):


print(``):
print(`The next two theorems seem go give new irrationality proofs of log(2), but that's not very exciting!`):
print(``):

TheoremZ2g(op(gu[2]),2000):

TheoremZ2g(op(gu[3]),2000):


quit: