är flerestädes mera än ' / 4 a^n djupt.