半径1の円周が切り取る放物線の長さの最大値ってどのくらいなんですかねって問題がTwitterで流れてきて、解析的に解ける自信がなかったから数理最適化の問題として捉えてNelder-Mead法で数値計算してみたんだけど4.002670って出てギリ4超えるのマジかって感じだった。誤差とかコードのミスはあるかもしれん。