Boredom is that awful state of inaction when the very medicine - that is, activity - which could solve it, is seen as odious.