>>415 既にある。ただし、実用的な式ではない