>>261
積分したら、 16 (2-√2)が答だな。