为防止有些人杠简单这个点，我先给个定义：求和公式中只可以使用幂函数，指数函数，向上向下取整函数和常数做有限次四则运算，复合，使用向上向下取整函数次数更少的更简单（毕竟除了取整基本做的都是整数运算，很简单）

素数还有通项公式呢

想来是找不出更简单的了，不知道大佬们能不能找到其他只有五个ceiling(x)的形式

没用