斜边长为4的直角三角形的面积的最大值为