アルキメデス体

某所に以下のような文があったそうだ。http://d.hatena.ne.jp/buyobuyo/20090502/p1

天皇制はオウム真理教の100万×N倍(Nは任意の整数)は軽くキモいカルトです。

これは天皇制とオウム真理教のキモさを t と o としたときに \forall N \in \mathbb{Z} t > 10^6No と、オウムを擁護しているのではないだろうか。
本当は「軽く」を汲んで \forall N \in \mathbb{Z} t >> 10^6No としたいところなんだけれども >> を定義するなら、やはり左辺に対して右辺が誤差程度と物理的な匂いのするパラメータをひとつ導入しないといけない上に、どうせ簡単な変形が存在して。


はてさて、勝手にアルキメデス体であることを仮定したけれどもよかったのかな。


うかつに任意なんていうからだ。