Earth average diameter / Mars average diameter