周长为定值4的直角三角形,则其斜边的最小值是多少?