Title pretty much says it all. We work in pairs here at my company, and my peer has just quit, leaving me all alone. I'm swamped right now, having to work my part and my former peer's.
There is an intern, however, that keeps playing online browser games all day long. There is a lot of 'manual' work that can be done by anyone, and he could do it.
The issue: I'm not above him in the hierarchy, and therefore I cannot delegate tasks to him. We're not friends per se, but we're cordial enough to make me not want to start a shitstorm.
I have already tried talking to my manager without mentioning names and telling on him ("I'm kind swamped, do you know if there is anyone who could help me out?"), and I got nowhere, my boss replied instantly that everybody's busy.
Should I approach said coworker directly, should I ask my boss to delegate some tasks to him, or should I suck it up and just do all the work? Would it be professional to just approach my manager and tell him I know he's been slacking and that he is not that busy?