Talk:Number Equal to Zero iff Arbitrarily Small

From ProofWiki
Jump to navigation Jump to search

Merge with Real Plus Epsilon

I likely wouldn't have made this page if I was aware of Real Plus Epsilon and I agree that both pages needn't exist (with the more general result obviously taking precedence). As I'm still new to the house style, I ask the following question: would it be better, in a proof, to call upon this theorem with a statement such as "Real Plus Epsilon, with $b = 0$", or to call upon this specific result, listed as a corollary? The issue I see with the former option is that it may be confusing if a variable named $b$ already exists. For the latter, to clutter each theorem with each quick implication would of course be bad form. However, as I've seen this listed independently as a proposition or example in two texts, I'd say this result is perhaps relevant enough to gain "corollary status". Maybe there are also other, better options I am not seeing.--Keith.U 09:38, 24 June 2016 (UTC)