が "q" &gt; "c" を満たす全ての有理数 "p"/"q" に対して成立するような、"μ" の下限 "μ"("α")を、"α" の無理数度(measure of irrationality for "α")という。