用高斯符号formula_30，可以建立一些第"n"个素数的表达式：
Mills公式.第一个带高斯函数的素数公式由W. H. Mills在1947年构造。他证明了存在实数"A"使得数列中的每个数都是素数。最小的"A"称为米尔斯常数，如果黎曼猜想成立，它的值大约为：formula_32（）。这个素数公式并没有什么实际价值，因为人们对"A"的性质所知甚少，甚至不知道"A"是否为有理数。而且，除了用素数值逼近外，没有其他计算"A"的方法。
威尔逊定理的利用.