ここで同じ質問を見ました。彼らはこのように下限を証明しました
log(1) + ... + log(n/2) + ... + log(n) >= log(n/2) + ... + log(n)
>= log(n/2) + ... + log(n/2)
= n/2 * log(n/2)
私の疑問は、下限が n log n 自体ではないのはなぜですか? または、他のより厳しい下限はありますか?. 具体的に n/2 * log(n/2) なのはなぜですか?