我该如何编写一个MySQL存储函数来计算给定数字的阶乘?