n個の要素の2番目に小さい要素は最悪n+logn−２回の
比較で求められることを証明しなさい。


順序統計量を使うのだと思うのですが、
帰納法を使って証明するのかどうか分かりません。
どなかか説明してもらえないでしょうか？
お願いします。