Rank-3 scale theorems: Difference between revisions

@@ Line 51: / Line 51: @@
 Thus b/a#L <= b/a(#L-t), a contradiction.
-M_b >= F: (bc it's a mos) Suppose there is an x-value x_0 where M_b(x_0) < F(x_0). Let m = min(n_0, n-n_0), n = scale size. Then find three different m-mossteps by taking one interval before n_0, one interval containing n_0 and one interval after n_0.
+M_b >= F: (bc it's a mos) Suppose there is an x-value x_0 where M_b(x_0) < F(x_0). Let m = min(n_0, n-n_0), n = scale size. Then find three different m-mossteps/implied slopes by taking one interval before n_0, one interval containing n_0 and one interval after n_0.
 ==== MV3 Theorem 1 (WIP) ====