夾擠定理階乘