数学中，卢卡斯-莱默检验法（）是检验梅森数的素性检验，是由爱德华·卢卡斯于1878年完善，德里克·亨利·莱默随后于1930年代将其改进。因特网梅森素数大搜索用这个检验法找到了不少很大的素数，最近几个最大的素数就是这个项目发现的。由于梅森数比随机选择的整数更有可能是素数，因此他们认为这是一个极有用的方法。
方法.卢卡斯－莱默检验法原理是这样：<br>令梅森数"M" = 2− 1作为检验对象（预设"p"是素数，否则"M"就是合数了）。<br>定义序列{"s" }：所有的"i