User blog comment:Vel!/A new Bakeoff?/@comment-5150073-20140910105727

My idea for Bakeoff:

Let f(n) is the function which returns the largest number definable in some language with n symbols. The winner is the person who will prove the largest (from other contenders) value of f(n).