Rank-3 scale theorems: Difference between revisions
Line 56: | Line 56: | ||
(M_b(n_0+k) - M_b(n_0))/k >= (M_b(n_0+k) - | (M_b(n_0+k) - M_b(n_0))/k >= (M_b(n_0+k) - F(n_0) + 1)/k | ||
==== MV3 Theorem 1 (WIP) ==== | ==== MV3 Theorem 1 (WIP) ==== |
Line 56: | Line 56: | ||
(M_b(n_0+k) - M_b(n_0))/k >= (M_b(n_0+k) - | (M_b(n_0+k) - M_b(n_0))/k >= (M_b(n_0+k) - F(n_0) + 1)/k | ||
==== MV3 Theorem 1 (WIP) ==== | ==== MV3 Theorem 1 (WIP) ==== |