eulers sumof powers conjecture