18/07/22 14:41:59.97 WPaCXwt4.net
>>458
お前が主張していることは、
「ρ(n) ≦ 2 + o(1) を使うことで、a ≦ t(n)/n^2 ≦ b なる正定数 a,b が取れることが証明できる」
というデタラメな主張である。一方で、俺が言っていることは、
「ρ(n) ≦ 2 + o(1) が成り立つにも関わらず、
a ≦ t(n)/n^2 ≦ b なる正定数 a,b が取れないケースが存在する」
という主張である。このようなケースの具体例が欲しいなら、
ε(n) ＝ 1/log(log(n＋3)),
t(n) ＝ n (nが偶数のとき), n^{2＋1/log(log(n＋3))} (nが奇数のとき),
とでも置けばいい。