Fish Wang
says to
YSITD
其實所有15 / (2 ^ n)n * x 的都可以算