Problem

Source: Lusophon 2020 Day 2 #6

Tags: algebra, floor function, function



Prove that $\lfloor{\sqrt{9n+7}}\rfloor=\lfloor{\sqrt{n}+\sqrt{n+1}+\sqrt{n+2}}\rfloor$ for all postive integer $n$.