Embedding Finitely Generated Abelian Lattice‐Ordered Groups: Higman's Theorem and a Realisation of π