一个公式计算出外星文明存在可能性(图)