Does anyone know what the acronym WLOG (as in "assume WLOG") means? What about AM-GM (as in "we can apply AM-GM")?