Neutral and interordinal intervals in MOS scales: Difference between revisions
Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
| Line 10: | Line 10: | ||
=== Lemma 1 (Difference between ceilings of multiples) === | === Lemma 1 (Difference between ceilings of multiples) === | ||
For integer n and real x, ceil((n+2)x) - ceil(nx) >= floor(2x). | For positive integer n and real x, ceil((n+2)x) - ceil(nx) >= floor(2x). | ||
==== Proof ==== | ==== Proof ==== | ||