Formula q_850 (Q657)

Revision as of 13:24, 20 April 2020 by SchuBot (talk | contribs) (‎Created claim: Defining formula (P1): \sum_{k=0}^{n}k\cdot \left(\begin{array}{l}{n}\\{k}\end{array}\right)\leq \sum_{k=0}^{n}k\cdot \left(\begin{array}{l}{n}\\{\lfloor \frac{n}{2}\rfloor}\end{array}\right)\leq \frac{n\cdot(n+1)}{2}\cdot \left(\begin{array}{l}{n}\\{\lfloor \frac{n}{2}\rfloor}\end{array}\right)\leq n(n+1)! \leq nn^n \leq n^{n+1})

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)