>>66
よく知られてるのは log sin x の凸性使うやつだな。