Интересно, а проводились ли какие-нибудь эксперименты, воспроизводящие это в действительности?
Мы пока самую глубокую дырку в планете сделали - всего 12 км, это довольно немного и очень сложно. И последнее, что пришло в голову там проверять - это справедливость этой формулы. Хотя не удивлюсь, если

там таки замеряли - на всякий случай, плотность верхних слоев коры уточнить чтобы например.
Хотя может быть, планету уже дырявили с помощью нейтрино.