INMO Problem with even function proof.
96791
How to show that $\lfloor n/1\rfloor+\lfloor n/2 \rfloor+....+\lfloor n/n\rfloor+\lfloor{\sqrt{n}}\rfloor$ is even?
147111
Where is the Proof for the Sum-to-Product rule derrived from?
125682
Proof verification: the product of two continuous functions is continuous
95806
Proving commutativity of convolution $(f \ast g)(x) = (g \ast f)(x)$
84890
Extremising a functional with conditions
143765
To Show that $\exp(tX)\exp(tY)= \exp(t(X+Y)) + (1/2)t^2[X, Y] +o(t^3)$
16172
My proof of $I \otimes N \cong IN$ is clearly wrong, but where have I gone wrong?
81879
$Av=λv$ basis proof problems
43870
Explain why a composite function in which g(x) is any function, is applied to the output of any even function h(x) , f(x) is always even.
154459
Constructing a HoTT proof term of 1≠0
18717
Proof for Irreducible Error statement in ISLR page 19
57215
Stuck on formal proofs. Not sure how to continue
136943
A problem with a proof about formal series in Lang's Algebra
129930
A problem on chinese remainder theorem (CSIR NET DEC 2015)
127000
When does $V = \ker(f) \oplus \operatorname{im}(f)$?
19457
Show that: $\inf(A+B) = \inf(A)+ \inf(B)$
35953
Prove that a function is not injective