>>33
上に凸、下に凸はグラフありきの考え方な気がして

式を使って厳密に証明は出来ないのですか?