# Tagged Questions

If you already have a proof for some result, but want to ask for a different proof (using different methods).

4k views

### Proofs of AM-GM inequality

The arithmetic - geometric mean inequality states that $$\frac{x_1+ \ldots + x_n}{n} \geq \sqrt[n]{x_1 \cdots x_n}$$ I'm looking for some original proofs of this inequality. I can find the usual ...
4k views

239 views

489 views

### Excessive use of the Yoneda lemma

In a MathOverflow thread on "nuking mosquitos", Andrej Bauer offered the following proof: If two elements in a poset have the same lower bounds then they are equal by Yoneda lemma. I understand ...
2k views

### Using inequalities and limits

Is it possible to say: $$If \ f(x) \ and \ g(x) \ both \ have \ limits \ as \ x\to p\ and \ f(x) \le g(x), \ then \lim_{x \to p} f(x)\le \lim_{x \to p} g(x).$$ My proof(Edit: Proof is wrong due to ...
312 views

194 views

### Equivalences to “D-finite = finite”

By a D-finite set, we mean a set admitting no injection from the natural numbers (or equivalently, a set not in bijection with any proper subset). I have encountered a proof that the following are ...
Could anyone provide me with a nice proof that the dominance order $\leq$ on partitions of an integer $n$ satisfies the following: if $\lambda, \tau$ are 2 partitions of $n$, then \$\lambda \leq \tau \...