Petri Laarne is a user on You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
Petri Laarne @petrilaarne

I quite liked @ColinTheMathmo’s entry to : a simple, initially counterintuitive result that becomes intuitively obvious after a quick think! I wonder how many totally different ways there are to prove it.

If you haven’t yet, go read about it and beautiful Penrose tilings:

@petrilaarne @ColinTheMathmo It's got a certain Ramsey theory feel to it, maybe something that would succumb to the probabilistic method.

@JordiGH In fact it's based on a lovely result from the 1930's, way before the probability arguments become common in combinatorics.

CC: @petrilaarne