[math-fun] Congruent number question