我估计可能是D^x，但这个x不是个常数，不论多么大有时y1也会变得更大；x应该也是和D有关的变量，如果x=D应该是可以的，但D^D太大太宽泛了；也许x=√D是可以的，D^√D相对小一些，目前我还没发现反例，但不知道怎么证明。

若D为素数p，有人给出的估计是y1不超过p^(√p/log p)，但这是不对的，即使把x^2-p*y^2=-1的最小解作为y1也不成立，10000以内就有反例：8941和9949。

告诉我结果就行。

华罗庚这个结论更精确。不过是否包括结果为-1的情况呢？log是以10为底还是以e为底？

王源的证明推翻了我的猜想……

打错了，是王元，我一直以为不论D多大也总有解能突破D^(√D/2)，但看来是不能了，足够大的时候都能小于D^(√D/3)。

不知道华罗庚的结论能否再精确些。