実数の階乗はあるらしい。