From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: *
X-Spam-Status: No, score=1.1 required=3.0 tests=BAYES_05,REPLYTO_WITHOUT_TO_CC
	autolearn=no autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Lower bounds of Strings
Date: Wed, 20 Jan 2021 21:10:34 +0100
Organization: A noiseless patient Spider
Message-ID: <rua2nr$eal$1@dont-email.me>
References: <1cc09f04-98f2-4ef3-ac84-9a9ca5aa3fd5n@googlegroups.com>
 <c0409256-1edd-4a06-8243-7120ea38b632n@googlegroups.com>
 <rtpiti$hri$1@dont-email.me> <rtpkov$cn0$1@gioia.aioe.org>
 <6450332c-89a8-476d-a112-c98b8bb08009n@googlegroups.com>
 <rtpom9$ca1$1@gioia.aioe.org> <ru7hdm$i5h$1@dont-email.me>
 <ru7mce$198g$1@gioia.aioe.org>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 20 Jan 2021 20:10:35 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="7999b64c3e06080e9d0390c99cc70f62";
	logging-data="14677"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+h/JCDPhXd+HH6wQiP3kX0cK6qU7XKxHA="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:78.0)
 Gecko/20100101 Thunderbird/78.6.1
Cancel-Lock: sha1:AeBK0HKuNar6GFj5+rPtRO64J9k=
In-Reply-To: <ru7mce$198g$1@gioia.aioe.org>
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:61175
List-Id: <comp.lang.ada>

On 19.01.21 23:27, Dmitry A. Kazakov wrote:

>> The infinite variants tend to be construed so that randomness is a useful fiction;
> 
> The term is countable infinite. Note the word countable, that guaranties that each element has an integer number, ergo randomly accessed by this number.

I'll happily leave it at that except for one thing. Let's count and access randomly:

    Nth_Prime (Exabyte'Last / 2) = ?