La profundidad media del mar es, según el célebre matemático