Bizim hangisi olduğunu bilmememiz, bir tanesinin büyük (ya da eşit) olacağı anlamına gelmiyor. Reel sayıları geçelim, tam sayılara bakalım. Senin sorduğun sorunun bir benzeri tam sayılar için de sorulabilir. $x=10^{17,425,171}$ olsun. Bu sayı, şu an için bilinen en büyük asal 17425170 basamaklı olduğu için bilinen en büyük asal $P$'den büyük. Peki $P$'den bir sonra gelen asaldan büyük mü küçük mü, işte bunu bilmiyoruz. Ama bunlardan birisi diğerinden büyük, bundan eminiz. Yanıtın ne olduğunu bilmememiz, bir yanıt olmadığı anlamına gelmiyor (bu son cümle her zaman doğru olmayabilir, bazı soruların istenilen tipte bir yanıtı olmayabilir elbette).