What percent of the sun would a Dyson Sphere cover? — LessWrong