Log[1 - Log[n]/n] < -(Log[n]/n)って何故ですか?微分では証明できますが・・・