Natural numbers/Induction/Product of powers/Exercise

Prove, by induction, that the following inequality holds

${}1\cdot 2^{2}\cdot 3^{3}\cdots n^{n}\leq n^{\frac {n(n+1)}{2}}\,.$

Create a solution