Mignotte’s sequence