>>924
最大値はどうせ正三角形絡みってことでは?って事で
その証明ができません