カタラン予想
カタラン予想（ -よそう、）とは、1844年にベルギー人の数学者・が提示した予想である。2002年にプレダ・ミハイレスクによりその完全な証明が行われた。2005年に、自身で証明を簡素化した。