>>451
背理法の考え方は間違っていない。凹性という言葉は私は聞いたことがない。
導関数が負になる関数log(x)/xは凸関数になるのであり、凹関数ではない。
背理法に関しては間違っているのであれば、どう間違っているのか論証してみろ。