在正四棱锥V﹣ABCD内有一半球，其底面与正四棱锥的底面重合，且与正四棱锥的四个侧面相切，若半球的半径为2，则当正四棱锥的体积最小时，其高等于．