AIでは、「単調収束定理」「ファトゥの補題」「ルベーグの優収束定理」って出てきたけど。