I got stuck with this question - G is a group with subgroups H and K of index m and n respectively. I need to prove that

lcm(n,m) <= [G:K ∩ H] <= mn

for finite groups it's just using Lagrange theorem, but I don't know how to translate it to the infinite case.