>>564
ln2が無理数はどうやって示すんだよ