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 positive integer n, k and real x, floor((n+k)x) - floor(nx) >= floor(kx). | For positive integer n, k and noninteger real x, floor((n+k)x) - floor(nx) >= floor(kx). | ||
==== Proof ==== | ==== Proof ==== | ||