〔問題〕
log(n!) ー (n + 1/2)log(n) + n > 0.8918
を示せ。