Wrong processor for my R4?

 Hello, everyone. I recently ordered and recieved an alienware aurora r4 with an i-7 3930k overclocked to 4.1ghz. However when i checked the system details it said 3.20 ghz. Now i dont know a whole lot about computers but it seems like i didnt get what i was charged for, so i figured id come here and someone would be able to tell me if im right. maybe it just never got overclocked? I dont know, but i look forward to hearing from you knowledgable folks.