Ну и чтоб конкретный пример пришлось долго и упорно разыскивать.
Так и тут конкретный пример таких чисел
и
нужно долго и упорно разыскивать. Утверждается лишь, что это либо
, либо
, но какое из "либо" верно, неясно и очень нетривиально. Кстати, наиболее ярые адепты конструктивизма, интуиционизма и прочего математикуобеднизма - в частности, Брауэр, если верить Коэну - построения этого рода ("пусть
, если гипотеза Римана верна, и
иначе") не миловали, ибо алгоритма построения
нет, доказательство существования-с, зло-с.
(Оффтоп)
Во избежание кидания тапками: с другой стороны это, конечно, был и математикуобогатизм, ибо были получены интересные результаты и вообще.