L = { a^ib^j | i != j } 이거 정규언어인가요 아닌가요

비정규언어인 것 같은데, 막상 pumping lemma로 증명하라고 gpt한테 시켜보면 자꾸 헛소리만 해서요