如何匹配字符串中的子字符串忽略大小写？

import re

text = "Hello World"
pattern = r"Hello"

result = re.match(pattern, text, re.IGNORECASE)

if result:
    print("Match found:", result.group())
else:
    print("No match found")

String text = "Hello World";
String pattern = "Hello";

int index = text.indexOf(pattern, 0);

if (index != -1) {
    System.out.println("Match found at index: " + index);
} else {
    System.out.println("No match found");
}

let text = "Hello World";
let pattern = /Hello/i;

let result = text.match(pattern);

if (result) {
    console.log("Match found:", result[0]);
} else {
    console.log("No match found");
}