What is the irony in of mice and men?

the first irony is the main character, Lennie Smalls name. Lennie is not “small” at all but is a man of gigantic build and strength. the second irony is also about Lennie’s strength. Lennie’s love affection is shown by him petting mice, but instead of love, he ends up killing them instead by “petting too hard”. The mice itself can also be considered an irony since Lennie is a huge fellow but loves mice, a tiny animal. One dramatic irony is at the end of the book, when George prepares to shoot Lennie. the audience knows what is going to happen but the character himself, Lennie, doesn’t.