>>456
お前が主張していることは、

「ρ(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が奇数のとき),

とでも置けばいい。