ある凸多角形に収まる最大の円の大きさを求める関数ってないだろうか