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