ⅆⅆ⁡x⁡Hen⁡(x)=n⁢Hen-1⁡(x),