回答

上の○は、logの真数の分離です。
logn!=log(1×2×…×n)
 =log1+log2+…+logn

下の○は、(1)で証明した事柄があってのことなので、これだけでははっきりわかりませんが、たぶん
logn/n^(p-1)/2≦2/(p-1)e
に似た式を証明したんじゃないでしょうか・・・

おにぎり

⑴はこれです

この回答にコメントする
疑問は解決しましたか?