An Exercise in Basic Mathematical Comparison