如何判断一个字符串是否为列标的元素（忽略大小写）

请教大神们一个问题，现在有个情况是我需要判断一个字符串是否在一个列表中，举个例子

Data
user = ‘cn1964’
userNumbers = [‘Cn1964’, ‘CN1965’, ‘cn1966’]

实际情况是，user 在输入的时候，c 和 n 可能大写可能小写，但是只要是 cn1964 这个 user，不论大小写，我都需要判定它是在 userNumbers 中的.

目前我所知道的方法是遍历 userNumbers 列表，将 user 和 element 都转为大写或者都转为小写后做对比，但是这个方法有一点不太好，因为实际的 userNumbers 太大了，它有大概 33000 个元素。假如我使用遍历的话，程序的运行效率会显得不很友好

大家有什么稳定的、效率高的方法吗？