Sky-map

За этим можно провести всю ночь.
http://www.sky-map.org/



Символично, что первой на входе вас встречает M31 -- туманность Андромеды. После Ефремова к этой галактике особенное отношение.

Число Скьюза

Великий Гаусс предположил в районе 1795г, что распределение простых чисел подчиняется закону интегрального логарифма:

Только через сто лет Адамар и Валле Пуссен независимо друг от друга доказали это утверждение. Долгое время считалось, и имеющиеся примеры это подтверждали, что . Однако в 1914г Литтлвуд доказал, что неравенство может менять знак бесконечное число раз, чем поверг математиков в легкий шок. В 1933г Скьюз дал верхнюю оценку числа, при котором неравенство нарушается первый раз. Это число называется первым числом Скьюза и является, видимо, самым большим числом, когда-либо использованным в математическом доказательстве:

e^ee79

Желающие могут попробовать прикинуть, сколько у этого числа десятичных знаков.