>>951
log( n! )
〜 log( √(2πn)n^n/e^n )
〜 log( √2πn ) + log( n^n ) - log( e^n )
〜 log n + n log n - n
O( n log n ) > O(log n) && O( n log n ) > O( n) より
O( log(n!) ) == O( n log n ) ■