>>29
a! < c! <(a+1)!
となる自然数cは存在しえないだろ。