函数

它的性质十分有趣。

考虑递推式

所以对于正整数,可得