CARVIEW |
Select Language
HTTP/2 200
date: Thu, 31 Jul 2025 11:04:25 GMT
content-type: text/html; charset=utf-8
cf-ray: 967c9d685fe8c1a6-BLR
cf-cache-status: DYNAMIC
cache-control: private
set-cookie: prov=0688ebf8-df3c-4466-bb3f-ecea898b38aa; expires=Fri, 31 Jul 2026 11:04:25 GMT; domain=.stackexchange.com; path=/; secure; httponly
strict-transport-security: max-age=31536000; includeSubDomains
vary: Accept-Encoding
content-security-policy: upgrade-insecure-requests; frame-ancestors 'self' https://stackexchange.com
x-clacks-overhead: GNU Terry Pratchett
x-frame-options: SAMEORIGIN
x-request-guid: db2e4e31-4a60-4ea7-9a9d-40350bc8c596
x-worker-origin-response-time: 278000000
x-dns-prefetch-control: off
set-cookie: prov=0688ebf8-df3c-4466-bb3f-ecea898b38aa; Path=/; HttpOnly; Domain=stackexchange.com
set-cookie: __cf_bm=9ifpjzYQs1V4yMizYLOFpQO0W6P3m7KN_y69EDtUvvw-1753959865-1.0.1.1-umx8i2tx7NhK61WRHasokXgL_X42HmLFLofsUt35S6S2kwv4i5mQnJI.nouGVXEN3TcEmIVHXbJkNhbGt1BXrYn9r8Ck7hpGOdpaYR8KUG0; path=/; expires=Thu, 31-Jul-25 11:34:25 GMT; domain=.stackexchange.com; HttpOnly; Secure; SameSite=None
set-cookie: _cfuvid=zuS3AGu5MsK0NLiZvsGFJyye.UVJo2_KwvuKfKanss0-1753959865966-0.0.1.1-604800000; path=/; domain=.stackexchange.com; HttpOnly; Secure; SameSite=None
server: cloudflare
content-encoding: gzip
Newest 'proof-verification' Questions - Mathematics Stack Exchange
Skip to main content
Stack Exchange Network
Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack ExchangeTeams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
Learn more about TeamsAll Questions
Tagged with proof-verification or solution-verification
46,034 questions
- Bountied 2
- Unanswered
- Frequent
- Score
- Trending
- Week
- Month
- Unanswered (my tags)
-2
votes
0
answers
45
views
Proof for a question in the textbook "How to Prove It" by Daniel J. Velleman [duplicate]
Here's a question in the textbook:
Let U be any set. Prove that there is a unique A ∈ P(U) such that for every B ∈ P(U), A ∪ B = B.
The proof I made on my own goes like this:
Let A equal the null set, ...
0
votes
0
answers
55
views
Show that a finitely generated group has only a finite number of subgroups of a given finite index (Hatcher page 87, exercise 8)) [closed]
This is a question from the exercise of Hatcher's Algebraic Topology. It asks to show that a finitely generated group has only a finite number of subgroups of a given finite index.
My Attempt: As per ...
0
votes
0
answers
45
views
Proof and supplementary information for inequality problems
Problem: Let $a_1, a_2, \cdots, a_n$ be positive real numbers such that at most one of them is less
than $1$ and $a_{1}^{3}+a_{2}^{3}+ \cdots +a_{n}^{3}=n$. Prove that $ a_1+a_2+ \cdots +a_n \le a_{...
-1
votes
0
answers
59
views
How can I prove by induction that $\sqrt{1+\sqrt{2+\sqrt{\cdots +\sqrt{n}}}}<3$ for all $n\geq 1$? [duplicate]
I am trying to prove by the principle of induction that for every positive integer $n$
$$\sqrt{1+\sqrt{2+\sqrt{\cdots +\sqrt{n}}}}<3.$$
I have tried the following, although I am not sure where to ...
0
votes
3
answers
64
views
Confusion in the statement of a theorem
I was watching this lecture on algorithms in graph theory.
At time $11.53$, the narrator states a little theorem which I find confusing.
I find this statement quite confusing and my argument is as ...
0
votes
0
answers
54
views
Finding the smallest cube that contains a set of points?
I have $m$ points in $n$-dimensional space:
Point 1: $(x_1^{(1)}, x_2^{(1)}, \ldots, x_n^{(1)})$
Point 2: $(x_1^{(2)}, x_2^{(2)}, \ldots, x_n^{(2)})$
$\vdots$
Point $m$: $(x_1^{(m)}, x_2^{(m)}, \...
-2
votes
0
answers
43
views
Is there any mathematical flaw in this proof by induction on cardinalities? [closed]
Is there any flaw in the following proof by induction?
Define set $B_{n}=\{b_{1},b_{2},b_{3},\cdots ,b_{n}\}$. For a particular even number $N\geq 8$, we define $b_{i}=N-p_{i}$, for $1\leq i\leq n$ ...
0
votes
2
answers
59
views
Countability of an Infinite Image of a Countable Set
This is a problem from the topology section of Bergman's Supplements to Rudin W. Principles of Mathematical Analysis. I was having some trouble with the hint provided and didn't understand how to ...
6
votes
2
answers
174
views
Proving a subset of $\mathbb{Z}$ to be a subgroup of $(\mathbb{Z},+)$.
Let $G\subset \mathbb{Z}$ be a subset of integers which contains at least one positive integer
and at least one negative integer. Suppose that $G$ is closed under the usual addition in $\mathbb{Z}$ i....
1
vote
1
answer
69
views
+50
Could these formula been accurate estimators of the Median Path of a Binomial Lattice Model?
Could these formula been accurate estimators of the Median Path of a Binomial Lattice Model?
In the last added section I believe I almost show that the Expected Geometric Growth is actually the Median ...
1
vote
0
answers
29
views
Approximation in outer measure by an algebra
Let ${\mu_0: {\mathcal B}_0 \rightarrow [0,+\infty]}$ be a pre-measure on a Boolean algebra ${\mathcal B}_0$, and let ${\mu: {\mathcal B} \rightarrow [0,+\infty]}$ be the Hahn-Kolmogorov extension of $...
0
votes
3
answers
94
views
Evaluating $\prod_{i=k}^{j-1}\frac{2i-1}{2i}$
Closely related to this question.
Similarly to what was done in the answer to the question above, I would like estimate
$$\prod_{i=k}^{j-1}\frac{2i-1}{2i}$$
I proceeded as follows:
$$\prod_{i=k}^{j-1}...
4
votes
1
answer
105
views
Doubt on the regularity of a path in the proof of "Integral Invariance for Homotopic Paths"
I am studying a book of Complex Analysis called "Complex Analysis with Applications" by Asmar and Grafakos. I am confused about the regularity of a path in the proof of the following theorem....
4
votes
1
answer
137
views
Show that solution of $f''(x)+p(x)f'(x)-\lambda f(x) = 0$ with $f(0)=f(1)=0$ is identically zero
Let $p(x), f(x)$ be two continuous functions on $[0,1]$ that satisfy:
$$
f''(x)+p(x)f'(x)-\lambda f(x) = 0\quad \forall x \in (0,1).
$$
If $\lambda > 0$ and $f(0)=f(1)=0$, is it true that $f=0 \...
4
votes
1
answer
104
views
Can you show $A \times \emptyset = \emptyset$ by showing that $|A \times \emptyset| = 0$?
I know in general that you can't say 2 sets are equal if they have the same cardinality. For example, let $A = \{1,2,3\}, B = \{a,b,c\}$. Even though, $|A|=|B|=3$, clearly $A \neq B$. The issue with ...
- Featured on Meta
-
-
Related Tags
real-analysis × 8061
proof-writing × 4075
linear-algebra × 3352
general-topology × 3162
calculus × 3110
abstract-algebra × 2919
elementary-set-theory × 2312
sequences-and-series × 2250
group-theory × 1994
limits × 1812
probability × 1664
proof-explanation × 1624
elementary-number-theory × 1461
discrete-mathematics × 1413
measure-theory × 1387
integration × 1378
complex-analysis × 1312
analysis × 1298
alternative-proof × 1211
functional-analysis × 1193
combinatorics × 1170
algebra-precalculus × 1126
logic × 1126
induction × 1112
functions × 1081
more related tags
Hot Network Questions
- Probability that median of 3 randomly selected numbers from {0,1,2,3} is between 1 and 2
- Is a normality test always performed on errors and not on raw data?
- Sibling of theorem with keytheorems
- How Set curve radius geometry node works
- Where does "kinda" ("kind of") come from?
- What are the consequences of allowing breaking/returning from every statement?
- Why is aid being airdropped into Gaza?
- Is it ethical to hire a graphic designer for a job talk?
- Does group action on a ring induce an action on a Morita equivalent ring
- Would it be copyright to use another bakers recipe in a video?
- What constitutes a 'structure' made of Force for the purposes of a Forcebreaker Weapon?
- Made-for-TV horror movie about the ghost of a teenage girl killed in a house fire who blames her family for her death and seeks revenge
- Why f[x___] := {x==="To be", x=!="not to be"} is both True for f[]?
- Efficient generation of pseudorandom permutation over a small domain
- Simpler explanation of p-values
- FOR XML PATH and OPTION() can't be together in query?
- Can Trump sue South Park?
- Aligning rotation of instances on dodecahedron corners
- How did Gauss study mathematics?
- Is Samson referred to/mentioned in the siddur/liturgy?
- Hello World C program compiled with vbcc runs in Vamos but not on Amiga 500 (Workbench 1.3) via FS-UAE
- Command to give a dimension expression with an optional argument
- Ten minutes walk Vs ten minute walk
- Is "Every real number is even" a false statement? Is it a statement at all?