No -- boredom is more not having anything to do, which implies a lack of intelligence. Ennui is along the lines of having done it all & there's nothing left -- think "world weariness". :thumb:
