Displaying similar documents to “An explicit bound for Iwasawa's λ-invariant”