Lion (matemàtich)