A guiding problem in algebraic geometry is the classification of varieties. In dimension 1, the main invariant for their classification is the genus. Similarly, in higher dimension we study positivity properties of the canonical divisor and a first measure of these is its Iitaka dimension. A long-standing problem is how we can relate Iitaka dimensions in fibrations: the Iitaka conjecture. Recently, Chang proved an inequality for the Iitaka dimensions of the anticanonical divisors in fibrations over fields of characteristic 0. Both the Iitaka’s conjecture and Chang’s theorem are known to fail in positive characteristic. However, in a joint work with Brivio and Chang, we prove that anti-Iitaka holds when the “arithmetic properties” of the anticanonical divisor are sufficiently good.