###### Proof due to Erdos ([Erdos, 1993](chrome-extension://oemmndcbldboiebfnladdacbdfmadadm/https://www.renyi.hu/~p_erdos/1939-03.pdf)): # Applications More generally, it has been conjectured that the product consecutive positive integers is never a power.