哈特曼数公式