Будущее Земли - астрофизик-оптимист Олег Верходанов. «Лет за миллиард» - после того, как станет красным гигантом