Avatar
なるほどなw
6:27 PM
うーん、nを探索するのはやっぱり大変というか困難な気がするな。
6:27 PM
できなくはないかもしれないけど、n = 5は可能か?とかそういうのを1つ1つ考えていかないといけないので、たとえば5が不可能ならそれ以上も無理、みたいなのがあればどこかで止められるかもしれないけど、それはそれで別の補題(?)が必要になって証明が巨大化しそう。
6:29 PM
https://www.overleaf.com/read/tvcznmnwnjgy こういう ☝️ 路線でやっていってみてます。
An online LaTeX editor that's easy to use. No installation, real-time collaboration, version control, hundreds of LaTeX templates, and more.
6:29 PM
ちょっともう、さすがにこのDiscordのシンタックスでは数式を表現してられないのでw