Prove that at least one side length of a rectangle is an integer
128716
Intuitive/direct proof that a rectangle partitioned into rectangles each with at least one integer side must itself have an integer side
117257
Proving the supremum of the set {$\cos (1/x)$} is 1
148647
If $\dfrac{4x^2-1}{4x^2-y^2}$ is an integer, then it is $1$
75852
Using Pigeonhole Principle to prove two numbers in a subset of $[2n]$ divide each other
154459
Constructing a HoTT proof term of 1≠0
122998
number of edges induction proof
14815
How prove this $\prod_{1\le i<j\le n}\frac{a_{j}-a_{i}}{j-i}$ is integer
77026
Proof with inequalities
157660
proof $a$ ,$b$ and $c$ can be sides of a triangle
32772
Proving units in a ring
135212
The square of an integer has form $3n$ or $3n+1$
141529
Proving existence of a minimum
1409
Proving that the given set has at most $2^{n-1}$ elements
109767
Prove that three points are enough to draw/define one and only one circle
55491
Find the area of largest rectangle that can be inscribed in an ellipse
154494
Prove that there exists a row or a column of the chessboard which contains at least √n distinct numbers.
80229
How to prove this curiosity that has to do with cubes of certain numbers?