Rank-3 scale theorems: Difference between revisions
Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
| Line 54: | Line 54: | ||
Since M_b is a mos mode, there is a k-step within [0, n_0] that has the slope which is just smaller than (F(n_0)-1)/n_0 (1). Similarly, there is a k-step within [n_0, n] that has the slope which is just bigger than (F(n_0)+1)/(n-n_0). These slopes are "two or more steps away" from each other, which is a contradiction. (State this more formally) | Since M_b is a mos mode, there is a k-step within [0, n_0] that has the slope which is just smaller than (F(n_0)-1)/n_0 (1). Similarly, there is a k-step within [n_0, n] that has the slope which is just bigger than (F(n_0)+1)/(n-n_0). These slopes are "two or more steps away" from each other, which is a contradiction. (State this more formally) | ||
===== LQ is equivalent to floor-LQ in case of 2-letter scales ===== | |||
==== MV3 Theorem 1 (WIP) ==== | ==== MV3 Theorem 1 (WIP) ==== | ||