Get the maximum points of all users?

Someone asked a feature to set a value "maximum points of all users". Is there some api function? Otherwise i would do that with a custom mysql query.

WIth maximum it is meant:

Marco: 2.000
Jake: 200
Foo: 10.000

Then the maximum here would be 20.000. This is no cap, its the GLOBAL highest point value (Would be the same as place 1 in a TOP users table).