Intereting Posts

Use every non-abelian group of order 6 has a non-normal subgroup of order 2 to classify groups of order 6.
Intuition behind the definition of linear transformation
Zero Lyapunov exponent for chaotic systems
Why is it that the product of first N prime numbers + 1 another prime?
Is $7$ the only prime followed by a cube?
If the sequence satisfies the property lim$_{n\to \infty}(a_n-a_{n-2})=0$, prove that lim$_{n\to \infty}\frac{a_n-a_{n-1}}{n}=0$.
Positive integral solutions of $3^x+4^y=5^z$
Derivation of Frey equation from FLT
Basis of a $2 \times 2$ matrix with trace $0$
How to prove there are exactly eight convex deltahedra?
expected number of cards drawn exactly once (with replacement)
Lie group homomorphism from $\mathbb{R}\rightarrow S^1$
$m$ balls $n$ boxes probability problem
Show that a graph has a unique MST if all edges have distinct weights
Translating sentences into propositional logic formulas.

When the goal is $∀n\in\Bbb N ∀m\in\Bbb N (n \ge m \rightarrow H_n-H_m \ge {n-m \over n})$, I can begin the proof with “Let n and m be arbitrary. Suppose n and m are natural numbers” or “Let n and m be arbitrary natural numbers.”

The boundary between “let” and “suppose” feels blurry. When do I use “let” and “suppose” in a math proof?

- Any Implications of Fermat's Last Theorem?
- Formalize a proof without words of the identity $(1 + 2 + \cdots + n)^2 = 1^3 + 2^3 + \cdots + n^3$
- Beautiful proof for $e^{i \pi} = -1$
- Prove that the multiplicative groups $\mathbb{R} - \{0\}$ and $\mathbb{C} - \{0\}$ are not isomorphic.
- If $a, b$ are relatively prime proof.
- How does a non-mathematician go about publishing a proof in a way that ensures it to be up to the mathematical community's standards?

- Prove that $x^{2} \equiv -1$ (mod $p$) has no solutions if prime $p \equiv 3\pmod 4$.
- Rudin's 'Principle of Mathematical Analysis' Exercise 3.14
- Showing a set is a subset of another set
- Looking for Proofs Of Basic Properties Of Real Numbers
- Prove that $(a+1)(a+2)…(a+b)$ is divisible by $b!$
- prove $x \mapsto x^2$ is continuous
- What is a proof?
- Induction proof (bitstring length)
- question on translation of operator proof
- Solution verification: Prove by induction that $a_1 = \sqrt{2} , a_{n+1} = \sqrt{2 + a_n} $ is increasing and bounded by $2$

“Let $n$ and $m$ be arbitrary natural numbers” assigns a meaning to $n$ and $m$ whereas “Suppose $n$ and $m$ are natural numbers” makes an assumption on the meaning of $n$ and $m$. In terms of proof writing, the difference between the two is fairly arbitrary since if one makes a supposition on an as of yet defined variable it’s assumed to be definitive. The biggest distinction between the two is that “suppose” does not necessarily assume the concept exists, as in the case of proof by contradiction.

As commented by user2520938, I use “let” when considering an object which I suspect exists, and “suppose” when considering an object I think does not exist (so as to derive a contradiction).

- “Suppose $\sqrt{2} = \frac{p}{q}$ for $p, q$ integer.”
- “Let $n \in \mathbb{Q}$ be written as $\frac{p}{q}$ in its lowest terms.”
- “Let $G$ be a simple group.”
- “Suppose $G$ were a simple group of order 50.”

I think you use ‘let’ as in

Let $x$ be s.t. $P(x)$

When you know for sure that this is possible. On the other hand you use

Suppose $x$ is s.t. $P(x)$

is used when you’re not yet sure/are going to derive a contradiction from here.

For example, when you want to proof that

$x$ is limit point of $A\subset \mathbb{R}$ iff $\exists\{x_n\}\subset A-\{x\}$ with $x_n\to x$

Then for the $\Leftarrow$ direction I might start by saying something like

Suppose $x$ is s.t. there is a sequence $\{x_n\}\subset A-\{x\}$ with $x_n\to x$ but $x$ is not a limit point of $A$

And derive a contradiction. I might also start by saying

Let $x$ be s.t. there is a sequence $\{x_n\}\subset A-\{x\}$ with $x_n\to x$

And then just prove $x$ is a limit point directly.

Again, I’m not sure this is the way everyone thinks about it, but to me it makes the most sense. It also makes it clear to the reader what direction the proof is going in.

- Is the tangent bundle the DISJOINT union of tangent spaces?
- Series of inverses of binomial coefficients
- Normality of a certain order of an algebraic number field
- Khan academy for abstract algebra
- Why is every answer of $5^k – 2^k$ divisible by 3?
- The sum of integrals of a function and its inverse: $\int_{0}^{a}f+\int_{0}^{f(a)}f^{-1}=af(a)$
- Multi variable integral : $\int_0^1 \int_\sqrt{y}^1 \sqrt{x^3+1} \, dx \, dy$
- How was “Number of ways of arranging n chords on a circle with k simple intersections” solved?
- A couple of formulas for $\pi$
- How do solve this integral $\int_{-1}^1\frac{1}{\sqrt{1-x^2}}\arctan\frac{11-6\,x}{4\,\sqrt{21}}\mathrm dx$?
- Prove that $f(x)=0$ for all $x\in\mathbb{R}$.
- What is… A Parsimonious History?
- Proof that the sum of two Gaussian variables is another Gaussian
- Inequalities on kernels of compact operators
- Limit of integration can't be the same as variable of integration?