[math-fun] promic numbers or pronic numbers?