CARVIEW |
Select Language
HTTP/2 200
date: Wed, 30 Jul 2025 12:46:12 GMT
content-type: text/html; charset=utf-8
cf-ray: 9674f51dea579ac4-BLR
cf-cache-status: DYNAMIC
cache-control: private
set-cookie: prov=2d850a70-6076-4905-8262-08e66829de91; expires=Thu, 30 Jul 2026 12:46:12 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: d5ef1353-4ed0-4550-b9a4-9a0bd201a99a
x-worker-origin-response-time: 281000000
x-dns-prefetch-control: off
set-cookie: prov=2d850a70-6076-4905-8262-08e66829de91; Path=/; HttpOnly; Domain=stackexchange.com
set-cookie: __cf_bm=gsuNJM1vTmdO.nCVMvsaaQueDqjuc1VOO.8VOkR.CLQ-1753879572-1.0.1.1-77D_mrG6pFNrcLBR7LC1NYLe1PxGFQaFQO.6DUt28JRpDjFIR6Mg5J.ISZt798UrrL13jw3E6TL7OeFHRmwAs9UJy0TUlamIz0sc9sKBHvM; path=/; expires=Wed, 30-Jul-25 13:16:12 GMT; domain=.stackexchange.com; HttpOnly; Secure; SameSite=None
set-cookie: _cfuvid=Hde8wJyRZfcq7FgSNFgwQPzKyCDRXFBYOfWzO4uL1js-1753879572438-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,033 questions
- Bountied 2
- Unanswered
- Frequent
- Score
- Trending
- Week
- Month
- Unanswered (my tags)
0
votes
0
answers
52
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
2
answers
31
views
Ambiguity in the statement of a theorem
I was watching this lecture on algorithms in graph theory. At $11.53$, he states a little theorem which I find ambiguous.
I find this statement quite ambiguous and my argument is as follows
Question:...
0
votes
0
answers
37
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
53
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 ...
-4
votes
0
answers
71
views
Verification of Alternative Proof to 2002 Romanian Olympiad Problem [closed]
Let $p, q$ be distinct primes. Prove that there are positive integers $a, b$ such that the arithmetic mean of all the divisors of the number $n=p^a\cdot q^b$ is also an integer.
Another proof for ...
6
votes
2
answers
170
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
0
answers
43
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
102
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
134
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
102
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 ...
0
votes
0
answers
107
views
Intuitive non-constructive proof sketch of the Baire Category Theorem
I'm trying to understand the Baire Category Theorem more intuitively, without constructing Cauchy sequences. Proof below is a non-constructive sketch, based on contradiction about mutual disjointness ...
7
votes
2
answers
791
views
Why am I winning always? A coincidence perhaps?
Erdos and Polya are playing a game in which initially the number $10^6$ is written on a blackboard. If the current number on the board is $n$, a move consists of choosing two different positive ...
- Featured on Meta
-
-
Related Tags
real-analysis × 8061
proof-writing × 4074
linear-algebra × 3352
general-topology × 3162
calculus × 3110
abstract-algebra × 2919
elementary-set-theory × 2311
sequences-and-series × 2250
group-theory × 1994
limits × 1812
probability × 1664
proof-explanation × 1624
elementary-number-theory × 1462
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
- If the police observe evidence of a different crime while in "hot pursuit" can they act on it?
- Is a normality test always performed on errors and not on raw data?
- Why did many arcade games have separate sound CPUs?
- Expected Cards Left When One Color Is Exhausted
- Is there any (around) the 14 hidden characters in path and/or filename in File Explorer?
- How can I secure an old iron gate with a padlock?
- I have a table that is being forced over the right margin how do I force the table to evenly break both margins?
- Advantage of launching a rocket from the Equator
- How to create a Face Group from selected faces, similar to a Vertex Group
- Taking small amounts till there's nothing left
- Can Trump sue South Park?
- What is known about the third time derivate of the expansion of the Universe?
- Are all Universities this internally cut-throat?
- Short story about a scientific rivalry that leads to madness
- What happens if a witness is required to travel to the US to make a deposition but is refused entry?
- Is there a reason "replace conditional with table" isn't a standard refactoring?
- Seven-dimensional cross product
- How To Calculate the Average Temperature Of My Planet's Poles And Equator
- char2path not loadable?
- VMWare, SAN, SSD, Influence of the fill level on the performance of a virtual hard disk
- How can I show the expression in terms of ket instead of matrix
- Why is my 74HC595 working without VCC?
- What are these orange and green solid circles painted on a taxiway?
- Do police need a search warrant to chase a fugitive onto private property?