Sum of first n natural numbers, each multiplied by an irrational constant and floored
37586
How to find $\sum_{i=1}^n\left\lfloor i\sqrt{2}\right\rfloor$ A001951 A Beatty sequence: a(n) = floor(n*sqrt(2)).
138446
Proving that there exists an irrational number in between any given real numbers
110975
Summation of reciprocals
30639
Efficient computation of $\sum_{k=1}^n \left\lfloor \frac{n}{k}\right\rfloor$
45480
Does $\sum\frac{(-1)^{\lfloor \sqrt n\rfloor}}{ n}$ converge?
22762
How can adding an infinite number of rationals yield an irrational number?
13098
Find a formula for $\sum\limits_{k=1}^n \lfloor \sqrt{k} \rfloor$
626
Sum of combinations with varying $n$
102486
Simplifying $\sum_{i=1}^n{\lfloor \frac{n}{i} \rfloor}$?
150088
Prove that $\sqrt {n − 1} +\sqrt {n + 1}$ is irrational for every integer $n ≥ 1$
142338
Prove that $\lfloor\frac{n+1}{2}\rfloor+\lfloor\frac{n+2}{4}\rfloor+\lfloor\frac{n+4}{8}\rfloor+\lfloor\frac{n+8}{16}\rfloor+ \dots=n$
114228
Find the number of solutions to $ \lfloor x \rfloor + \lfloor 2x \rfloor + \lfloor 4x \rfloor + \ldots + \lfloor 32x \rfloor =12345$
5222
$\lfloor x\rfloor + \lfloor y\rfloor \leq \lfloor x+y\rfloor$ for every pair of numbers of $x$ and $y$
47923
For $n\in\mathbb{N}$, evaluate $\int_0^n \cos(2\pi \lfloor x\rfloor\{x\})dx$
78287
Prove that if $n$ is not the square of a natural number, then $\sqrt{n}$ is irrational.
15110
About irrational logarithms
152172
Does there exist a positive irrational number $\alpha $, such that for any positive integer $n$ the number $\lfloor n\alpha \rfloor$ is not a prime?