「最大値が存在するなら…」という条件がついて回るから正多角形と多角形の変形プロセスを構成できればいい希ガス