When mathematicians get bored (ep1)