higher bound for a
in mate ___