今年の阪大で不等式の問題が出たが、難問だったらしい