無理数の証明とか言っているけど、我が社ではそれを
パワポに落としてプレゼンすることにこそ意味があるのだよ。