RE: An inequality of Archimedes (and a claim...)