直角三角形ABC斜边上的高等于4,则三角形ABC面积的最小值等于多少?