フォン・ノイマンって暗算で4桁の因数分解出来てた人だっけ?