RE: Is this the greatest Fermat Prime ?