太陽系外惑星の統計
惑星の半径をRとする。