>>800
置換積分とかでいいんですか?(左辺)