There exists a positive constant \alpha \le 1 such that for any function T(n) \leqslant n^{\alpha} and for any problem L \in BPTIME(T(n)), there exists a deterministic algorithm running in poly(T(n)) time which decides L, except for at most a 2^{-\Omega (T(n) log T(n)) fraction of inputs of length n.