一个锐角为三十度,斜边为四的直角三角形面积为多少?