[math-fun] Waring's problem for 5th powers