>>331
だよな。８*∫[0,1/√2] √(1+(y')^2) dxにπはでてこない。