Hacker News new | ask | show | jobs
by lmm 384 days ago
Finite decimal representations being of course the most convenient notation for inequalities like this.