Tag: sequence lcm(1,2,…,n) highly abundant numbers